Sciweavers

4683 search results - page 790 / 937
» Software Release Management
Sort
View
ICFEM
2004
Springer
16 years 12 days ago
Verifying a File System Implementation
Abstract. We present a correctness proof for a basic file system implementation. This implementation contains key elements of standard Unix file systems such as inodes and fixed...
Konstantine Arkoudas, Karen Zee, Viktor Kuncak, Ma...
207
Voted
ICMI
2004
Springer
120views Biometrics» more  ICMI 2004»
16 years 12 days ago
Support for input adaptability in the ICON toolkit
In this paper, we introduce input adaptability as the ability of an application to exploit alternative sets of input devices effectively and offer users a way of adapting input in...
Pierre Dragicevic, Jean-Daniel Fekete
224
Voted
ICWE
2004
Springer
16 years 12 days ago
MDA applied: From Sequence Diagrams to Web Service Choreography
Abstract. Web Services and Web Service composition languages for Web Service choreography are becoming more and more important in the area for inter-enterprise application and proc...
Bernhard Bauer, Jörg P. Müller
ISCIS
2004
Springer
16 years 12 days ago
Coordinating Distributed Autonomous Agents with a Real-Time Database: The CAMBADA Project
Interest on using mobile autonomous agents has been growing, recently, due to their capacity to cooperate for diverse purposes, from rescue to demining and security. However, such ...
Luís Almeida, Frederico Santos, Tullio Facc...
234
Voted
IWAN
2004
Springer
16 years 12 days ago
Distributed Instrusion Prevention in Active and Extensible Networks
The proliferation of computer viruses and Internet worms has had a major impact on the Internet Community. Cleanup and control of malicious software (malware) has become a key prob...
Todd S. Sproull, John W. Lockwood