2141 search results - page 379 / 429 » Embedded Software |
WPES
2003
ACM
14 years 29 days ago
2003
ACM
The idea of using user preferences to assist with information filtering and with providing the most “relevant” answers to queries has recently received some attention from th...
AOSE
2003
Springer
14 years 29 days ago
2003
Springer
As agent-oriented paradigm is reaching a significant level of acceptance by software developers, there is a lack of integrated highstraction tools for the design and development o...
EMSOFT
2003
Springer
14 years 28 days ago
2003
Springer
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...
FOSSACS
2003
Springer
14 years 28 days ago
2003
Springer
Abstract. We solve the problem of extending Bird and Paterson’s generalized folds for nested datatypes and its dual to inductive and coinductive constructors of arbitrarily high ...
GPCE
2003
Springer
14 years 28 days ago
2003
Springer
Dynamic AOP (Aspect-Oriented Programming) is receiving growing interests in both the academia and the industry. Since it allows weaving aspects with a program at runtime, it is use...