Sciweavers

3387 search results - page 181 / 678
» Automating the Metamodeling Process
Sort
View
LICS
2005
IEEE
15 years 10 months ago
Process Algebras for Quantitative Analysis
In the 1980s process algebras became widely accepted formalisms for describing and analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems which...
Jane Hillston
ICMCS
2008
IEEE
167views Multimedia» more  ICMCS 2008»
15 years 11 months ago
Statistical processing of video for detection of events in space and time
Recently, advanced video processing systems have been developed for numerous applications, such as surveillance, tracking, monitoring, object and event detection. The large size o...
Alexia Briassouli, Ioannis Kompatsiaris
OTM
2005
Springer
15 years 10 months ago
Colored Petri Nets to Verify Extended Event-Driven Process Chains
Business processes are becoming more and more complex and at the same time their correctness is becoming a critical issue: The costs of errors in business information systems are g...
Kees M. van Hee, Olivia Oanea, Natalia Sidorova
APSEC
2004
IEEE
15 years 8 months ago
The Design of Evolutionary Process Modeling Languages
To formalize a software process, its important aspects must be extracted as a model. Many processes are used repeatedly, and the ability to automate a process is also desired. One...
Darren C. Atkinson, Daniel C. Weeks, John Noll
ISPW
2009
IEEE
15 years 11 months ago
A Pattern for Modeling Rework in Software Development Processes
It is usual for work completed at one point in a software development process to be revisited, or reworked, at a later point. Such rework is informally understood, but if we hope t...
Aaron G. Cass, Leon J. Osterweil, Alexander E. Wis...