11561 search results - page 2088 / 2313 » A Language for Biochemical Systems |
179
click to vote
ACSD
2006
IEEE
16 years 21 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...
196
click to vote
AICT
2006
IEEE
16 years 21 days ago
2006
IEEE
Web Services are becoming the prominent paradigm for distributed computing and electronic businesses. This makes natural the extension of the concepts at the base of the workflow ...
204
click to vote
ASWEC
2006
IEEE
16 years 21 days ago
2006
IEEE
Software maintenance and evolution are inevitable activities since almost all software that is useful and successful stimulates user-generated requests for change and improvements...
182
click to vote
ASWEC
2006
IEEE
16 years 21 days ago
2006
IEEE
Combining third party software components to customer-individual application systems requires first, standardized specification techniques for describing the technical as well as ...
227
click to vote
CIMCA
2006
IEEE
16 years 21 days ago
2006
IEEE
Business Process Management (BPM) is often a key component of the business change. Business rules, whether embedded within BPM or on their own, have begun playing an ever-increasi...