10239 search results - page 1574 / 2048 » Postmodern Software Development |
167
Voted
WSC
2008
15 years 9 months ago
2008
The Department of Homeland Security (DHS) shifted the focus of airport security in 2004 to incorporate the need to continuously and rapidly adapt security to shifting threats. MIT...
181
Voted
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Software systems are subject to ever increasing complexity and in need of efficient structuring. The concept of organization as an exand abstract real-world reference presents a pr...
242
Voted
CAV
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The use of Craig interpolants has enabled the development of powerful hardware and software model checking techniques. Efficient algorithms are known for computing interp...
222
click to vote
CANDC
2005
ACM
15 years 8 months ago
2005
ACM
Constructed Narratives is a tangible social interface designed for use in public spaces where people have the opportunity to encounter the game and subsequently learn about each o...
197
Voted
ECMDAFA
2006
Springer
15 years 8 months ago
2006
Springer
In this paper we present a methodology supporting the definition of data models on basis of a limited set of well-known UML features, thereby allowing these models to be created an...