5407 search results - page 866 / 1082 » The Software Engineering Global Model |
135
click to vote
SIGSOFT
1998
ACM
15 years 8 months ago
1998
ACM
Implicit invocation SN92, GN91] has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of speci cation and veri cat...
136
click to vote
AOSD
2007
ACM
15 years 8 months ago
2007
ACM
stract Semantics of Additive Aspects by Translation S. B. Sanjabi C.-H. L. Ong Oxford University Computing Laboratory We study the denotational semantics of an aspect calculus by ...
134
click to vote
AMAST
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. State space explosion is the hardest challenge to the effective application of model checking methods. We present a new technique for achieving drastic state space reduct...
146
click to vote
EDBTW
2006
Springer
15 years 8 months ago
2006
Springer
Querying live media streams is a challenging problem that becomes an essential requirement in a growing number of applications. We address the problem of evaluating continuous quer...
142
click to vote
COMPSAC
2001
IEEE
15 years 8 months ago
2001
IEEE
Virtual Reality Modeling Language (VRML) is widely used to represent, create, and display virtual reality objects and their environment. Some VRML applications require concurrent ...