2520 search results - page 283 / 504 » Model-checking behavioral programs |
155
click to vote
CEC
2009
IEEE
16 years 1 months ago
2009
IEEE
— It is advantageous for colony robots to be autonomous and self-sufficient. This requires them to perform their duties while maintaining enough energy to operate. Previously, we...
171
click to vote
RWEB
2007
Springer
16 years 22 days ago
2007
Springer
Reactive rules are used for programming rule-based, reactive systems, which have the ability to detect events and respond to them automatically in a timely manner. Such systems are...
152
click to vote
IWPC
2005
IEEE
16 years 6 days ago
2005
IEEE
Very little is known about professional programmers’ mental representations of variables, yet this information is vital in designing effective tools for program comprehension. I...
168
click to vote
FORMATS
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We examine to what extent implementation of timed automata can be achieved using the standard semantics and appropriate modeling, instead of introducing new semantics. We...
175
click to vote
IFL
2005
Springer
16 years 3 days ago
2005
Springer
In programs written in lazy functional languages such as for example Clean and Haskell, the programmer can choose freely whether particular subexpressions will be evaluated lazily ...