8627 search results - page 1532 / 1726 » Software Engineering Using RATionale |
164
click to vote
ICFEM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present a correctness proof for a basic file system implementation. This implementation contains key elements of standard Unix file systems such as inodes and fixed...
197
click to vote
ICFEM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We develop a way of analyzing the behavior of systems modeled using Discrete Time Markov Chains (DTMC). Specifically, we define iLTL, an LTL with linear inequalities on...
183
click to vote
ICSOC
2004
Springer
15 years 12 months ago
2004
Springer
Currently, service-oriented computing is mainly technology-driven. Most developments focus on the technology that enables enterprises to describe, publish and compose application ...
185
click to vote
SIGADA
2004
Springer
15 years 12 months ago
2004
Springer
Genetic Algorithms provide computational procedures that are modeled on natural genetic system mechanics, whereby a coded solution is “evolved” from a set of potential solutio...
174
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
Our Distributed Telecommunication Management System (DTMS) uses an object-oriented model to describe the networked Voice Communication System (VCS) to be managed. In order to allo...