1015 search results - page 66 / 203 » Rapid file system development using ptrace |
LISA
1994
13 years 9 months ago
1994
Managing large scale UNIX networks so that users can use resources on multiple systems is traditionally performed using NIS, NFS, and DNS. Proper use of these tools requires exact...
BMAS
2000
IEEE
14 years 4 days ago
2000
IEEE
System design requires experienced designers that use heuristics and built up knowledge to propose a high order solution. Behavioral models can help to formalise, optimise and spe...
WEBI
2010
Springer
13 years 5 months ago
2010
Springer
In recent years, there has been an explosion of publicly available RDF and OWL web pages. Some of these pages are static text files, while others are dynamically generated from la...
INDOCRYPT
2010
Springer
13 years 5 months ago
2010
Springer
: Radio frequency identification (RFID) is a technology for the automated identification of physical entities using radio frequency transmissions. In the past ten years, RFID syste...
KBS
2006
2006
Facilitating formal specification acquisition by using recursive functions on context-free languages
13 years 7 months ago
Although formal specification techniques are very useful in software development, the acquisition of formal specification is a difficult task. This paper presents the formal softw...