2881 search results - page 465 / 577 » Model Checking for Programming Languages using Verisoft |
120
click to vote
IFIP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper proposes a door access control system with mobile phones which allows off-line delegations of an access. A model of door access control with mobile phones is ...
122
Voted
WCRE
2000
IEEE
15 years 9 months ago
2000
IEEE
Recently exchange formats have gained lots of attention. Multiple tools need to interact and/or work on the same software system. Especially there is a need to reuse parser techno...
127
click to vote
SIGSOFT
2005
ACM
16 years 5 months ago
2005
ACM
A modular program analysis considers components independently and provides succinct summaries for each component, which can be used when checking the rest of the system. Consider ...
175
click to vote
UM
2005
Springer
15 years 10 months ago
2005
Springer
We develop a novel user-centric modeling technology, which can dynamically describe and update a person's expertise profile. In an enterprise environment, the technology can e...
132
Voted
IFIP
2001
Springer
15 years 9 months ago
2001
Springer
This paper uses semiotic theories to model how meaning is constructed during an IS development project. Conventionally, shared meanings among all project stakeholders are regarded...