nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A methodology for constructing of philosophy ontology based on philosophical texts
|
Kim, Jung-Min |
|
2007 |
29 |
3 |
p. 302-315 14 p. |
artikel |
2 |
A model-driven choreography conceptual framework
|
Arroyo, Sinuhe |
|
2007 |
29 |
3 |
p. 325-334 10 p. |
artikel |
3 |
A real-time shot cut detector: Hardware implementation
|
Boussaid, Lotfi |
|
2007 |
29 |
3 |
p. 335-342 8 p. |
artikel |
4 |
EAP methods for wireless networks
|
Dantu, Ram |
|
2007 |
29 |
3 |
p. 289-301 13 p. |
artikel |
5 |
Editorial Board
|
|
|
2007 |
29 |
3 |
p. iii- 1 p. |
artikel |
6 |
Electronic voting systems: Requirements, design, and implementation
|
Qadah, Ghassan Z. |
|
2007 |
29 |
3 |
p. 376-386 11 p. |
artikel |
7 |
Implementing regular cash with blind fixed-value electronic coins
|
Lekkas, Dimitrios |
|
2007 |
29 |
3 |
p. 277-288 12 p. |
artikel |
8 |
Improving the security of industrial networks by means of formal verification
|
Cibrario Bertolotti, Ivan |
|
2007 |
29 |
3 |
p. 387-397 11 p. |
artikel |
9 |
Long-term trusted preservation service using service interaction protocol and evidence records
|
Jerman Blažič, Aleksej |
|
2007 |
29 |
3 |
p. 398-412 15 p. |
artikel |
10 |
NDIS-based virtual polling algorithm for IEEE 802.11b for guaranteeing the real-time requirements
|
Lee, Suk |
|
2007 |
29 |
3 |
p. 316-324 9 p. |
artikel |
11 |
Towards a new standard for allowing concurrency and ensuring consistency in revision control systems
|
Ray, Indrajit |
|
2007 |
29 |
3 |
p. 355-364 10 p. |
artikel |
12 |
Towards secure multi-sited transactional revision control systems
|
Zhang, Junxing |
|
2007 |
29 |
3 |
p. 365-375 11 p. |
artikel |
13 |
Using UML to model relational database operations
|
Song, Eunjee |
|
2007 |
29 |
3 |
p. 343-354 12 p. |
artikel |