6054 search results - page 1035 / 1211 » Implementation of Andorra-based Languages |
105
Voted
EDBT
2009
ACM
15 years 4 months ago
2009
ACM
Many Web applications are based on dynamic interactions between Web components exchanging flows of information. Such a situation arises for instance in mashup systems or when moni...
109
click to vote
HOTOS
2007
IEEE
15 years 4 months ago
2007
IEEE
System configuration management is difficult because systems evolve in an undisciplined way: packages are upgraded, configuration files are edited, and so on. The management of ex...
134
Voted
FMICS
2009
Springer
15 years 4 months ago
2009
Springer
The main limitation of software model checking is that, due to state explosion, it does not scale to real-world multi-threaded programs. One of the reasons is that current software...
107
Voted
ACSAC
2004
IEEE
15 years 4 months ago
2004
IEEE
Host security is achieved by securing both the operating system kernel and the privileged applications that run on top of it. Application-level bugs are more frequent than kernel-...
110
Voted
APN
2004
Springer
15 years 4 months ago
2004
Springer
This paper describes concepts and features of a Web-based system called XRL/flower for carrying out Petri-net based workflows described with XRL (eXchangeable Routing Language). XR...