5630 search results - page 845 / 1126 » Computability in Specification |
170
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
on models are abstract representations of systems one wants to study through computer simulation. In multiagent based simulation, such models usually represent agents and their re...
214
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Wireless communication enables a broad spectrum of applications, ranging from commodity to tactical systems. Neighbor discovery (ND), that is, determining which devices are within...
178
click to vote
CANDC
2005
ACM
15 years 8 months ago
2005
ACM
In this paper, we describe the origins, thematics, projects and practices of the art research collective Sponge. In particular, we focus on Sponge as a useful case study in transd...
154
click to vote
ICSE
2010
IEEE-ACM
15 years 8 months ago
2010
IEEE-ACM
Computational reflection is a well-established technique that gives a program the ability to dynamically observe and possibly modify its behaviour. To date, however, reflection is...
182
click to vote
ISSTA
2010
ACM
15 years 8 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...