4418 search results - page 167 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
126
click to vote
ICWN
2008
15 years 6 months ago
2008
The rapid evolution of mobile computing has spawned a very heterogeneous spectrum of technologies affecting both devices and system in the mobile computing domain. Since mobile com...
121
click to vote
CHI
2001
ACM
16 years 5 months ago
2001
ACM
CARD (Collaborative Analysis of Requirements and Design) is an influential technique for participatory design and participatory analysis that is in use on three continents. This p...
146
click to vote
CHARME
2001
Springer
15 years 8 months ago
2001
Springer
In this paper we present a syntactical approach for deriving real-time programs from a formal specification of the requirements of real-time systems. The main idea of our approach ...
155
click to vote
DILS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Transparent information integration across distributed and heterogeneous data sources and computational tools is a prime concern for bioinformatics. Recently, there have ...
103
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
Advances in high-performance computing have led to the broad use of computational studies in everyday engineering and scientific applications. A single study may require thousand...