2409 search results - page 307 / 482 » Logical systems for structured specifications |
243
click to vote
FROCOS
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
142
click to vote
DFG
2004
Springer
15 years 7 months ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...
133
click to vote
EWSA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper we motivate an Architecture Description Language (ADL) for mobile distributed systems based on the π-calculus. Different from other approaches, the non-fu...
201
click to vote
SENSYS
2010
ACM
15 years 1 months ago
2010
ACM
Enix is a lightweight dynamic operating system for tightly constrained platforms for wireless sensor networks (WSN). Enix provides a cooperative threading model, which is applicab...
153
click to vote
SAICSIT
2010
ACM
15 years 1 months ago
2010
ACM
Eliciting and analyzing requirements within knowledge systems, which fundamentally differ so far from technology supported systems represent particular challenges. African rural c...