2748 search results - page 75 / 550 » Generating Object-Z Specifications from Use Cases |
116
Voted
BMCBI
2010
15 years 22 days ago
2010
Background: The amount of available biological information is rapidly increasing and the focus of biological research has moved from single components to networks and even larger ...
118
Voted
CODES
2008
IEEE
15 years 2 months ago
2008
IEEE
Synchronous languages like Esterel have been widely adopted for designing reactive systems in safety-critical domains such as avionics. Specifications written in Esterel are based...
128
click to vote
APSCC
2006
IEEE
15 years 4 months ago
2006
IEEE
Service-Oriented Architecture (SOA) plays an important role in the next generation computing models for scientific and commercial applications. But difficulties in the development...
137
click to vote
WISEC
2010
ACM
15 years 5 months ago
2010
ACM
Key management in wireless sensor networks does not only face typical, but also several new challenges. The scale, resource limitations, and new threats such as node capture and c...
85
Voted
IWFM
1998
15 years 1 months ago
1998
In this paper, we present a proof that the bitonic sort is sound using PVS, a powerful specification and verification environment. First, we briefly introduce this well-known para...