2703 search results - page 343 / 541 » Working Class Hero |
183
click to vote
TACAS
2007
Springer
16 years 1 months 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...
196
click to vote
ACSD
2006
IEEE
16 years 1 months 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...
188
Voted
AGILEDC
2006
IEEE
16 years 1 months 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...
241
click to vote
CCECE
2006
IEEE
16 years 1 months 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...
160
click to vote
CCGRID
2006
IEEE
16 years 1 months 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...