1472 search results - page 258 / 295 » On Model Checking Infinite-State Systems |
108
Voted
SIGSOFT
2008
ACM
16 years 2 months ago
2008
ACM
Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. This task is intrinsically difficult....
117
click to vote
ICST
2008
IEEE
15 years 8 months ago
2008
IEEE
–Abstract for conference - preliminary Model-Based Testing: Models for Test Cases Jan Tretmans, Embedded Systems Institute, Eindhoven : Systematic testing of software plays an im...
125
Voted
EMSOFT
2004
Springer
15 years 7 months ago
2004
Springer
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...
120
click to vote
CSREASAM
2006
15 years 3 months ago
2006
Current computer security systems are based on the premise that once a user presents valid credentials to the authentication system (e.g. valid ID and password), they are granted ...
225
click to vote
ICDT
2009
ACM
16 years 2 months ago
2009
ACM
We formalize and study business process systems that are centered around "business artifacts", or simply "artifacts". This approach focuses on data records, kn...