859 search results - page 141 / 172 » Explaining Synthesized Software |
RAM
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract—Nonverbal behavior during human-human close encounters is critical to the accomplishment of natural interaction. For this reason, humanoid robots trying to achieve natur...
DSN
2007
IEEE
14 years 3 months ago
2007
IEEE
Studies have shown that device drivers and extensions contain 3–7 times more bugs than other operating system code and thus are more likely to fail. Therefore, we present a fail...
HICSS
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper describes how the curriculum and course format at the Air Force Institute of Technology (AFIT) has evolved based on our experience with the highly-successful Cyber Defe...
SIES
2007
IEEE
14 years 2 months ago
2007
IEEE
The properties of a domain oriented modelling approach or language are determined by the dominant semantics of the domain. A significant subclass that needs particular attention,...
CBSE
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. The SOAP Service Description Language (SSDL) is a SOAPcentric language for describing Web Service contracts. SSDL focuses on abstraction as the building block for creatin...