2004 search results - page 182 / 401 » Comparison of Model Checking Tools for Information Systems |
120
click to vote
ACSD
2008
IEEE
16 years 19 days ago
2008
IEEE
PICNIC is a tool for verifying security properties of systems, namely non-interference properties of processes expressed as terms of the π-calculus with two security levels and d...
232
click to vote
ECOOP
1999
Springer
15 years 10 months ago
1999
Springer
There is considerable interest in programs that can migrate from one host to another and execute. Mobile programs are appealing because they support efficient utilization of networ...
137
click to vote
EMISA
2005
Springer
15 years 11 months ago
2005
Springer
: Today, enterprises are forced to continuously optimize their business as well as service processes. In this context the process-centered alignment of information systems is cruci...
161
Voted
HICSS
1997
IEEE
15 years 10 months ago
1997
IEEE
Model-integrated computing offers unique benefits for building computer-based systems. The tight integration of physical and information processess typical in CBSs is naturally ad...
145
Voted
MIR
2003
ACM
15 years 11 months ago
2003
ACM
In this paper, we describe an approach to audiovisual data modeling for multimedia integration and synchronization. The approach chosen consists in using description tools from Mu...