517 search results - page 89 / 104 » Specification transformers: a predicate transformer approach... |
ECAL
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. This paper adopts an interdisciplinary view of the significant elements of ecosystems and the methods by which these might be simulated to explore theoretical issues of r...
UCS
2007
Springer
14 years 2 months ago
2007
Springer
Emergence of social web services like YouTube[1], Flickr[2] etc. is constantly transforming the way we share our lifestyles with family, friends and colleagues. The significance of...
CBMS
2006
IEEE
14 years 2 months ago
2006
IEEE
A rule-based Decision Support System is presented for the diagnosis of Coronary Artery Disease. The generation of the decision support system is realized automatically using a thr...
ICPPW
2006
IEEE
14 years 2 months ago
2006
IEEE
Embedded computing architectures can be designed to meet a variety of application specific requirements. However, optimized hardware can require compiler support to realize the po...
AH
2006
Springer
14 years 2 months ago
2006
Springer
The design of Web applications traditionally relies heavily on the navigation design. The Web as it evolves now brings additional design concerns, such as omni-presence, device-dep...