6020 search results - page 1084 / 1204 » A New Approach to Model Counting |
135
click to vote
ECOOP
2008
Springer
15 years 6 months ago
2008
Springer
Domain specific aspect languages (DSALs) are becoming more popular because they can be designed to represent recurring concerns in a way that is optimized for a specific domain. H...
146
click to vote
ECRTS
2008
IEEE
15 years 6 months ago
2008
IEEE
Modern real-time systems must be designed to be highly adaptable, reacting to aperiodic events in a predictable manner and exhibiting graceful degradation in overload scenarios wh...
157
click to vote
ECTEL
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. A lot of research has been done to promote and develop good elearning models, practices, and technological environments. However, fewer efforts were deployed to support e...
137
click to vote
ESWS
2008
Springer
15 years 6 months ago
2008
Springer
Knowledge work in many fields requires examining several aspects of a collection of documents to attain meaningful understanding that is not explicitly available. Despite recent ad...
146
click to vote
EURONGI
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. The integration of mobile ad hoc networks into IP-based access networks demands the presence of a gateway which is responsible for propagating some configuration paramete...