1886 search results - page 111 / 378 » Modeling and Enacting Software Processes Using VRPML |
188
click to vote
TASE
2008
IEEE
15 years 4 months ago
2008
IEEE
In this paper we deal with the problem of modeling railway networks with Petri nets so as to apply the theory of supervisory control for discrete event systems to automatically de...
147
click to vote
WER
2001
Springer
15 years 9 months ago
2001
Springer
Workflow technology has reached a reasonable degree of maturity, with a number of both research prototypes and commercial systems available. However, methodological issues have rec...
152
click to vote
CAISE
2006
Springer
15 years 8 months ago
2006
Springer
The quest for designing secure and trusted software has led to refined Software Engineering methodologies that rely on tools to support the design process. Automated reasoning mech...
130
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
—More and more processor manufacturers have launched embedded multicore processors for consumer electronics products because such processors provide high performance and low powe...
177
click to vote
RE
2010
Springer
14 years 11 months ago
2010
Springer
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...