1802 search results - page 205 / 361 » Using Declarative Specifications in Business Process Design |
114
click to vote
IROS
2006
IEEE
15 years 9 months ago
2006
IEEE
– Mobile robots operating in home environments must deal with constrained space and a great variety of obstacles and situations to handle. This article presents a pilot study aim...
128
click to vote
FASE
2009
Springer
15 years 7 months ago
2009
Springer
This paper describes the certification of smart-card applications in the framework of Common Criteria. In this framework, a smart-card application is represented by a model of its...
137
click to vote
SIGCSE
2010
ACM
15 years 8 months ago
2010
ACM
Inspired by the formal code inspection process commonly used in the software industry, we have been exploring the use of pedagogical code reviews (PCRs), in which a team of three ...
133
click to vote
NAACL
2001
15 years 4 months ago
2001
Developing dialogue systems is a complex process. In particular, designing efficient dialogue management strategies is often difficult as there are no precise guidelines to develo...
129
click to vote
KBSE
2008
IEEE
15 years 9 months ago
2008
IEEE
Capturing and using design rationale is becoming a hot topic for software architects, as architectural design decisions are now considered first class entities that should be reco...