4985 search results - page 609 / 997 » Observation of String-Rewriting Systems |
160
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
In this paper, we study the reachability problem for the class of (strictly) monotone Petri nets that we define based on algebraic conditions. More specifically, given a (strictly)...
216
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Model update is an approach to enhance model checking functions by providing computer aided modifications in system development [2, 9]. It has been observed that one majo...
190
click to vote
SIGCOMM
2010
ACM
15 years 7 months ago
2010
ACM
There has usually been a clean separation between networks and the applications that use them. Applications send packets over a simple socket API; the network delivers them. Howev...
165
click to vote
SOFTVIS
2010
ACM
15 years 7 months ago
2010
ACM
Software visualization can be of great use for understanding and exploring a software system in an intuitive manner. Spatial representation of software is a promising approach of ...
164
click to vote
CE
2008
15 years 6 months ago
2008
Design patterns have become a widely acknowledged software engineering practice and therefore have been incorporated in the curricula of most computer science departments. This pa...