1460 search results - page 271 / 292 » Process Mining Framework for Software Processes |
SAFECOMP
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
MEMOCODE
2006
IEEE
14 years 2 months ago
2006
IEEE
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...
SAINT
2005
IEEE
14 years 2 months ago
2005
IEEE
A portal is a key component of an enterprise integration strategy. It provides integration at the user interface level, whereas other integration technologies support business pro...
EMISA
2005
Springer
14 years 2 months ago
2005
Springer
: Most of today’s e-marketplaces support a single negotiation protocol. The protocol is usually built into the e-marketplace infrastructure, therefore if a new one is introduced ...
EMSOFT
2005
Springer
14 years 2 months ago
2005
Springer
The nature of embedded systems development places a great deal of importance on meeting strict requirements in areas such as static code size, power consumption, and execution tim...