1453 search results - page 36 / 291 » State and history in operating systems |
66
Voted
USENIX
2001
15 years 1 months ago
2001
Nickle is a vaguely C-like programming language for numerical applications, useful both as a desk calculator and as a prototyping and implementation language for numerical and sem...
113
Voted
FAST
2009
14 years 10 months ago
2009
In our increasingly networked world, web browsers are important applications. Originally an interface tool for accessing distributed documents, browsers have become ubiquitous, in...
103
click to vote
FAST
2009
14 years 10 months ago
2009
Provenance records the history of data. Careless use of provenance may violate the security policies of data. Moreover, the provenance itself may be sensitive information, necessi...
134
click to vote
FASE
2007
Springer
15 years 6 months ago
2007
Springer
The synthesis of object behaviour from scenarios is a well-known and important issue in the transition from system analysis to system design. We describe a model transformation pro...
117
click to vote
RTCSA
1999
IEEE
15 years 4 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...