1122 search results - page 66 / 225 » Behavioral Extensions of Institutions |
105
click to vote
CICLING
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Bridging the gap between the specification of software requirements and actual execution of the behavior of the specified system has been the target of much research in r...
ICRA
2008
IEEE
15 years 4 months ago
2008
IEEE
— The wavefront expansion is commonly used for path planning tasks and appreciated for its efficiency. However, the existing extensions able to handle currents are subject to in...
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
— A central problem in today’s Internet is unsolicited bulk email: spam. The SMTP protocol lacks a mechanism for verifying the source of a message, and respective protocol exte...
ER
2007
Springer
15 years 4 months ago
2007
Springer
Business process models play an important role for the management, design, and improvement of process organizations and process-aware information systems. Despite the extensive ap...
176
click to vote
DATE
2005
IEEE
15 years 3 months ago
2005
IEEE
Designers of factory automation applications increasingly demand for tools for rapid prototyping of hardware extensions to existing systems and verification of resulting behavior...