Sciweavers

7892 search results - page 151 / 1579
» Programming with Models
Sort
View
JUCS
2006
135views more  JUCS 2006»
15 years 1 months ago
Automatic Programming Methodologies for Electronic Hardware Fault Monitoring
: This paper presents three variants of Genetic Programming (GP) approaches for intelligent online performance monitoring of electronic circuits and systems. Reliability modeling o...
Ajith Abraham, Crina Grosan
CADE
2008
Springer
16 years 1 months ago
Exploring Model-Based Development for the Verification of Real-Time Java Code
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
Niusha Hakimipour, Paul A. Strooper, Roger Duke
POPL
2012
ACM
13 years 9 months ago
Higher-order functional reactive programming in bounded space
Functional reactive programming (FRP) is an elegant and successful approach to programming reactive systems declaratively. The high levels of abstraction and expressivity that mak...
Neelakantan R. Krishnaswami, Nick Benton, Jan Hoff...
HICSS
2005
IEEE
127views Biometrics» more  HICSS 2005»
15 years 7 months ago
Wholly Owned Offshore Subsidiaries for IT Development: A Program of Research
Information Technology (IT) offshore outsourcing is a non-reversible trend due to its cost implications, and as a result, target of much inquiry in different areas of knowledge. W...
J. Roberto Evaristo, Jorge Luis Nicolas Audy, Rafa...
FSTTCS
2000
Springer
15 years 5 months ago
Dynamically Ordered Probabilistic Choice Logic Programming
We present a framework for decision making under uncertainty where the priorities of the alternatives can depend on the situation at hand. We design a logic-programming language, D...
Marina De Vos, Dirk Vermeir