350 search results - page 64 / 70 » Petri Net Analysis Using Invariant Generation |
101
click to vote
MIDDLEWARE
2004
Springer
15 years 5 months ago
2004
Springer
: The next generation of scientific experiments and studies, popularly called as e-Science, is carried out by large collaborations of researchers distributed around the world engag...
109
Voted
CONCURRENCY
2006
15 years 13 days ago
2006
: The next generation of scientific experiments and studies, popularly called e-Science, is carried out by large collaborations of researchers distributed around the world engaged ...
99
Voted
UML
2005
Springer
15 years 5 months ago
2005
Springer
Analysis and design by contract allows the definition of a formal agreement between a class and its clients, expressing each party’s rights and obligations. Contracts written in ...
196
Voted
ICIAR
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. With the adoption of tablet-based data entry devices, there is considerable interest in methods for converting hand-drawn sketches of flow charts, graphs and block diagr...
117
Voted
ISSRE
2000
IEEE
15 years 4 months ago
2000
IEEE
Despite the growing interest for component-based systems, few works tackle the question of the trust we can bring into a component. This paper presents a method and a tool for bui...