2036 search results - page 105 / 408 » A generic type-and-effect system |
102
Voted
MSS
2007
IEEE
15 years 7 months ago
2007
IEEE
Storage systems are increasingly subject to attacks. Cryptographic file systems mitigate the danger of exposing data by using encryption and integrity protection methods and guar...
KBSE
2006
IEEE
15 years 6 months ago
2006
IEEE
A software system interacts with its environment through system interfaces. Robustness of software systems are governed by various temporal properties related to these interfaces,...
105
click to vote
RSP
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper presents a rapid prototyping technique that focuses on transition management in hybrid systems. In particular, it integrates hybrid modeling and simulation (for specify...
83
Voted
AAAI
2006
15 years 2 months ago
2006
As artificial intelligence (AI) systems and behavior models in military simulations become increasingly complex, it has been difficult for users to understand the activities of co...
93
Voted
GPCE
2004
Springer
15 years 6 months ago
2004
Springer
This paper describes our experience with developing a product line for middleware-based versioning systems. We perform a detailed domain analysis and define a DSL for configuring i...