2703 search results - page 273 / 541 » Learning operational requirements from goal models |
173
click to vote
OSDI
2008
ACM
16 years 7 months ago
2008
ACM
Although queueing models have long been used to model the performance of computer systems, they are out of favor with practitioners, because they have a reputation for requiring u...
167
click to vote
SACMAT
2009
ACM
16 years 1 months ago
2009
ACM
We develop the foundations for a theory of Group-Centric Secure Information Sharing (g-SIS), characterize a specific family of models in this arena and identify several direction...
168
click to vote
ALT
2005
Springer
16 years 3 months ago
2005
Springer
Within learning theory teaching has been studied in various ways. In a common variant the teacher has to teach all learners that are restricted to output only consistent hypotheses...
209
click to vote
CHI
1997
ACM
15 years 11 months ago
1997
ACM
MOBI-D (Model-Based Interface Designer) is a software environment the design and development of user interfaces from declarative interface models. End-users informally describe ta...
207
click to vote
ASPLOS
2004
ACM
16 years 2 days ago
2004
ACM
Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysi...