1153 search results - page 68 / 231 » Compositional Specification Calculus for Information Systems... |
129
click to vote
RTSS
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, we focus on addressing the tradeoffs between timeliness, accuracy and cost for applications requiring real-time information collection in distributed real-time envi...
133
click to vote
BTW
2003
Springer
15 years 9 months ago
2003
Springer
: The presentation claims that architectural design plays a crucial role in system development as a first step in a process that turns a requirements specification into a working s...
128
click to vote
RIAO
2000
15 years 5 months ago
2000
With the globalization of the world markets, the need for multilingual information processing increases, because the users are increasingly forced to deal with information availab...
114
click to vote
EOR
2006
15 years 4 months ago
2006
The consideration of costs, benefits and risks underpin many Information System (IS) evaluation decisions. Yet, vendors and project-champions alike tend to identify and focus much...
126
Voted
DAC
2009
ACM
15 years 10 months ago
2009
ACM
For a computing system to be trusted, it is equally important to verify that the system performs no more and no less functionalities than desired. Traditional testing and verifica...