2763 search results - page 14 / 553 » The Dangerous 'All' in Specifications |
CCS
2009
ACM
13 years 12 months ago
2009
ACM
Users have begun downloading an increasingly large number of mobile phone applications in response to advancements in handsets and wireless networks. The increased number of appli...
POPL
2008
ACM
14 years 8 months ago
2008
ACM
Software Transactional Memory (STM) is an attractive basis for the development of language features for concurrent programming. However, the semantics of these features can be del...
CAISE
2005
Springer
14 years 1 months ago
2005
Springer
In this paper we are trying to clarify, with the aid of some semiotic notions, the confusions that lie around the widely used terms “analysis model” and “design model” in s...
ACMSE
2004
ACM
14 years 1 months ago
2004
ACM
Real-time embedded systems are time-critical systems that are hard to implement as compared to traditional commercial software, due to the large number of conflicting requirements...
CIA
2008
Springer
13 years 9 months ago
2008
Springer
The behaviours of autonomous agents may deviate from those deemed to be for the good of the societal systems of which they are a part. Norms have therefore been proposed as a means...