1239 search results - page 103 / 248 » Control Generation for Logic Programs |
140
click to vote
IJON
2006
15 years 2 months ago
2006
Constructing the controller of a mobile robot has several issues to be addressed: how to automate behavior generation procedure, how to insert available domain knowledge effective...
111
Voted
RTSS
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—The Hierarchical Timing Language (HTL) is a realtime coordination language for distributed control systems. HTL programs must be checked for well-formedness, race freedo...
152
Voted
COMPSAC
2010
IEEE
15 years 16 days ago
2010
IEEE
The advent of emerging technologies such as Web services, service-oriented architecture, and cloud computing has enabled us to perform business services more efficiently and effect...
103
click to vote
VISSOFT
2005
IEEE
15 years 8 months ago
2005
IEEE
Understanding classes and methods is a key activity in object-oriented programming, since classes represent the abstractions from which applications are built, while methods conta...
142
Voted
FATES
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We propose a syntax-driven test generation technique to auly derive abstract test cases from a set of requirements expressed in a linear temporal logic. Assuming that an ...