Sciweavers

1886 search results - page 213 / 378
» Modeling and Enacting Software Processes Using VRPML
Sort
View
JUCS
2000
102views more  JUCS 2000»
15 years 6 months ago
Towards Two-Level Formal Modeling of Computer-Based Systems
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
Gabor Karsai, Greg Nordstrom, Ákos Lé...
WCE
2007
15 years 7 months ago
Metaplanning Model Based in an Organizational Memory
— When problems are present in production, equipment or the process which are critical for organizations, many management personnel and experts have to meet to propose a solution...
José Bernardo Parra Victorino, Raúl ...
WORM
2003
15 years 7 months ago
Worm anatomy and model
We present a general framework for reasoning about network worms and analyzing the potency of worms within a specific network. First, we present a discussion of the life cycle of ...
Dan Ellis
INFSOF
2006
66views more  INFSOF 2006»
15 years 6 months ago
Scenario-based multitasking for real-time object-oriented models
Contemporary embedded systems quite often employ extremely complicated software consisting of a number of interrelated components, and this has made object-oriented design methodo...
Saehwa Kim, Jiyong Park, Seongsoo Hong
RE
2001
Springer
15 years 10 months ago
Evolving System Architecture to Meet Changing Business Goals: An Agent and Goal-Oriented Approach
Today's requirements engineering approaches focus on notation and techniques for modeling the intended functionality and qualities of a software system. Little attention has ...
Daniel Gross, Eric S. K. Yu