12670 search results - page 247 / 2534 » Requirements Modeling |
180
Voted
HPDC
2002
IEEE
15 years 11 months ago
2002
IEEE
Grid applications must increasingly self-adapt dynamically to changing environments. In most cases, adaptation has been implemented in an ad hoc fashion, on a perapplication basis...
170
click to vote
ICLP
2009
Springer
16 years 28 days ago
2009
Springer
The seemingly simple choice of whether to use call variance or call subsumption in a tabled evaluation deeply affects an evaluation’s properties. Most tabling implementations hav...
145
click to vote
KBSE
2008
IEEE
16 years 17 days ago
2008
IEEE
Finite state machine-based abstractions of software behaviour are popular because they can be used as the basis for a wide range of (semi-) automated verification and validation ...
164
click to vote
HICSS
2007
IEEE
16 years 15 days ago
2007
IEEE
Fine grained concurrency and accurate timing can be essential for embedded hardware and software systems. These requirements should be reflected in the specification and must be c...
145
click to vote
ETFA
2006
IEEE
16 years 6 days ago
2006
IEEE
—The International Electro-technical Commission through the 61499 standard establishes the basic infrastructure towards an open market in the control and automation domain. This ...