2520 search results - page 283 / 504 » Model-checking behavioral programs |
154
Voted
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...
169
Voted
RWEB
2007
Springer
16 years 17 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...
149
Voted
IWPC
2005
IEEE
16 years 1 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...
166
Voted
FORMATS
2005
Springer
15 years 12 months 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...
170
click to vote
IFL
2005
Springer
15 years 12 months 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 ...