5407 search results - page 230 / 1082 » The Software Engineering Global Model |
124
Voted
IADIS
2004
15 years 6 months ago
2004
Government bureaucracies are both extremely complex and long-lived, constantly evolving to reflect and influence their ever changing cultural and physical environments. Software s...
138
click to vote
WSC
1997
15 years 6 months ago
1997
Over time, simulation tools have found use in most manufacturing enterprises. Due to the increased flexibility and openness of the tools available today, simulation can now begin ...
125
click to vote
VMCAI
2010
Springer
16 years 2 months ago
2010
Springer
We present uniform approaches to establish complexity bounds for decision problems such as reachability and simulation, that arise naturally in the verification of timed software s...
115
click to vote
ECIS
2003
15 years 6 months ago
2003
Traditionally, negotiation support was based on normative and prescriptive research; its users were analysts and experts. The purpose of the recently developed e-negotiation syste...
136
Voted
ICSE
2010
IEEE-ACM
15 years 9 months ago
2010
IEEE-ACM
Software behavioral models have proven useful for design, validation, verification, and maintenance. However, existing approaches for deriving such models sometimes overgeneraliz...