2407 search results - page 206 / 482 » A Tool for Abstraction in Model Checking |
216
click to vote
COORDINATION
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Coordination languages are often used to describe open ended systems. This makes it challenging to develop tools for guaranteeing security of the coordinated systems and ...
190
click to vote
BIS
2007
15 years 8 months ago
2007
Abstract. Use cases are a popular way of specifying functional requirements of computer-based systems. Each use case contains a sequence of steps which are described with a natural...
184
click to vote
CSREAEEE
2008
15 years 8 months ago
2008
Abstract - Up to now, there is little academic support for the challenges of IT management. As a reaction, various best practice frameworks were developed, which can be subsumed un...
190
click to vote
NETWORKING
2004
15 years 8 months ago
2004
Abstract. Academic and commercial 802.11 hotspots often use an SSLsecured captive portal to authenticate clients. Captive portals provide good usability and interoperability, but p...
185
click to vote
SBMF
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. In the context of the EU project Mobius on Proof Carrying Code for Java programs (midlets) on mobile devices, we present a way to express midlet navigation graphs in JML....