262 search results - page 44 / 53 » Nonmonotonic Description Logic Programs: Implementation and ... |
IDEAS
2005
IEEE
14 years 2 months ago
2005
IEEE
Laboratory information systems (LIMS) are used in life science research to manage complex experiments. Since LIMS systems are often shared by different research groups, powerful a...
OOPSLA
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Object-oriented language concepts have been highly successful, resulting in a large number of object-oriented languages and language extensions. Unfortunately, formal met...
FCCM
2006
IEEE
14 years 2 months ago
2006
IEEE
Current Radio Frequency Identification (RFID) systems generally have long design times and low tolerance to changes in specification. This paper describes a field programmable,...
MSWIM
2005
ACM
14 years 2 months ago
2005
ACM
Developing network protocols for mobile wireless systems is a complex task, and most of the existing simulator frameworks are not well suited for experimental development. The YAE...
EMSOFT
2006
Springer
14 years 7 days ago
2006
Springer
Upper bounds on worst-case execution times, which are commonly called WCET, are a prerequisite for validating the temporal correctness of tasks in a real-time system. Due to the e...