880 search results - page 55 / 176 » Model checking erlang programs: the functional approach |
134
click to vote
PPPJ
2006
ACM
15 years 10 months ago
2006
ACM
Development of high quality code is extremely di cult. Tools that help maintaining the proper quality of code produced by programmers can be very useful: they may increase the qua...
120
click to vote
IROS
2006
IEEE
15 years 10 months ago
2006
IEEE
— Online self collision detection system for humanoid robots is an essentially important function for developing sensor based behaviors without worrying about breaking hardware. ...
162
click to vote
AGP
2003
IEEE
15 years 9 months ago
2003
IEEE
Disjunctive Logic Programming (DLP) under the consistent answer set semantics is an advanced formalism for knowledge representation and reasoning. It is, under widely believed assu...
141
click to vote
ILP
2007
Springer
15 years 10 months ago
2007
Springer
The management of business processes has recently received a lot of attention. One of the most interesting problems is the description of a process model in a language that allows ...
147
click to vote
SIGCSE
2002
ACM
15 years 4 months ago
2002
ACM
In our approach to the Programming Languages course, formal models are integrated as a thread that pervades the course, rather than as a one of many topics that is introduced and ...