525 search results - page 69 / 105 » Systems Development Using Z Generics |
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Multiuser diversity (MUDiv) is one of the central concepts in multiuser (MU) systems. In particular, MUDiv allows for scheduling among users in order to eliminate the negative effe...
AAAI
1990
13 years 8 months ago
1990
This session will explore the reasons for the lack of impact in four important areas in which AI has been expected to significantly affect real world Software Engineering. The pan...
CVPR
2009
IEEE
15 years 2 months ago
2009
IEEE
We propose a scheme for indoor place identi cation based on the recognition of global scene
views. Scene views are encoded using a holistic representation that provides low-resolu...
ENTCS
2006
13 years 7 months ago
2006
We present a prototype implementation of SOS meta-theory in the Maude term rewriting language. The prototype defines the basic concepts of SOS meta-theory (e.g., transition formul...
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
Traceability helps stakeholders to understand the relationships that exist between software artifacts created during a software development project. For example, the evolution of ...