6348 search results - page 1020 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
ICFP
2008
ACM
14 years 8 months ago
2008
ACM
We have implemented a two-stage language, Paradise, for building reusable components which are used to price financial products. Paradise is embedded in Haskell and makes heavy us...
FSTTCS
2009
Springer
14 years 2 months ago
2009
Springer
Linear temporal logic was introduced in order to reason about reactive systems. It is often considered with respect to infinite words, to specify the behaviour of long-running sys...
ISORC
2008
IEEE
14 years 2 months ago
2008
IEEE
Knowing the program timing characteristics is fundamental to the successful design and execution of real-time systems. A critical timing measure is the worst-case execution time (...
CEC
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— The next generation of embedded computing systems will have to meet new challenges. The systems are expected to act mainly autonomously, to dynamically adapt to changin...
COMSWARE
2007
IEEE
14 years 2 months ago
2007
IEEE
— 802.11 usage has exploded and broken all barriers for which it was originally proposed. This has resulted in research for its non-legacy usages. Such usages require study of pa...