4285 search results - page 307 / 857 » Differential Behavioral Analysis |
187
click to vote
ICSOC
2005
Springer
16 years 7 days ago
2005
Springer
There have been significant efforts in providing semantic descriptions for Web services, including the approach as exemplified by OWLS. Part of the semantic description in OWL-S is...
200
Voted
RAM
2008
IEEE
16 years 1 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...
163
click to vote
SEKE
2004
Springer
16 years 2 days ago
2004
Springer
People often use software for mundane tasks and expect it to be dependable enough for their needs. Unfortunately, the incomplete and imprecise specifications of such everyday sof...
153
click to vote
KBSE
2003
IEEE
16 years 9 hour ago
2003
IEEE
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...
176
click to vote
LISA
2007
15 years 9 months ago
2007
Computer and network administrators are often confused or uncertain about the behavior of their networks. Traditional analysis using IP ports, addresses, and protocols are insuffi...