1405 search results - page 266 / 281 » Software engineering for and with artists: a case study |
158
click to vote
ATAL
2009
Springer
16 years 19 days ago
2009
Springer
Reasoning about others, as performed by agents in order to coordinate their behaviours with those of others, commonly involves forming and updating beliefs about hidden system pro...
144
click to vote
FSTTCS
2009
Springer
16 years 18 days ago
2009
Springer
We introduce and study the donation center location problem, which has an additional application in network testing and may also be of independent interest as a general graph-theor...
157
click to vote
FOSSACS
2010
Springer
16 years 16 days ago
2010
Springer
Abstract. The reachability analysis of recursive programs that communicate asynchronously over reliable Fifo channels calls for restrictions to ensure decidability. We extend here ...
156
click to vote
QOSA
2007
Springer
16 years 4 days ago
2007
Springer
Component-based development helps to improve the modularity and reusability of embedded systems. Component models devised for embedded systems are typically restricted due to the l...
164
click to vote
ISSRE
2006
IEEE
16 years 1 days ago
2006
IEEE
A Java monitor is a Java class that defines one or more synchronized methods. Unlike a regular object, a Java monitor object is intended to be accessed by multiple threads simulta...