1888 search results - page 63 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
131
click to vote
FM
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Circus is a combination of Z and CSP that supports the development of state-rich reactive systems based on refinement. In this paper we present JCircus, a tool that autom...
154
click to vote
MOBISYS
2009
ACM
16 years 3 months ago
2009
ACM
Urban sensing, participatory sensing, and user activity recognition can provide rich contextual information for mobile applications such as social networking and location-based se...
119
click to vote
WWW
2004
ACM
16 years 3 months ago
2004
ACM
In this poster we introduce ProThes, a pilot meta-search engine (MSE) for a specific application domain. ProThes combines three approaches: meta-search, graphical user interface (...
218
click to vote
TSE
2010
14 years 9 months ago
2010
Abstract-- Code and design smells are poor solutions to recurring implementation and design problems. They may hinder the evolution of a system by making it hard for software engin...
129
click to vote
WOODPECKER
2001
15 years 4 months ago
2001
Abstract. This paper presents an approach for formalizing the RM-ODP (Reference Model for Open Distributed Processing), an ISO and ITU standard. The goal of this formalization is t...