112 search results - page 6 / 23 » Developers ask reachability questions |
APN
2005
Springer
13 years 9 months ago
2005
Springer
Abstract. We establish mutual translations between the classes of 1safe timed-arc Petri nets (and its extension with testing arcs) and networks of timed automata (and its subclass ...
TOOLS
2000
IEEE
13 years 11 months ago
2000
IEEE
Although eXtreme Programming has been explained by Kent Beck[1], there are many benefits to adopting eXtreme Programming (XP) practices in other development processes. The benefit...
IWPSE
2010
IEEE
13 years 5 months ago
2010
IEEE
What was I working on before the weekend? and What were the members of the my team working on during the last week? are common questions that are frequently asked by a developer. ...
PERVASIVE
2007
Springer
14 years 1 months ago
2007
Springer
We take two paradigms for information systems development, functionalism and social relativism, and apply their assumptions to the evaluation of ambient information systems. Ambie...
SIGIR
2006
ACM
14 years 1 months ago
2006
ACM
New types of document collections are being developed by various web services. The service providers keep track of non-textual features such as click counts. In this paper, we pre...