2703 search results - page 343 / 541 » Working Class Hero |
158
click to vote
TACAS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Time Petri Nets (TPN) and Timed Automata (TA) are widely-used formalisms for the modeling and analysis of timed systems. A recently-developed approach for the analysis of...
177
click to vote
ACSD
2006
IEEE
16 years 19 days ago
2006
IEEE
Timed Automata (TA) and Time Petri Nets (TPN) are two well-established formal models for real-time systems. Recently, a linear transformation of TA to TPNs preserving reachability...
170
click to vote
AGILEDC
2006
IEEE
16 years 19 days ago
2006
IEEE
There is a class of projects that can only be accomplished via agile practices due to their complexity and risks. It is rare for such a project to be staffed with newbies but it h...
216
click to vote
CCECE
2006
IEEE
16 years 19 days ago
2006
IEEE
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
140
click to vote
CCGRID
2006
IEEE
16 years 19 days ago
2006
IEEE
Many efforts in Grid communities have focused on middleware research and development. However, Grid application-level tools are needed which can build higherlevel functionality on...