3765 search results - page 582 / 753 » Formal Methods for Systems Engineering Behavior Models |
178
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Fuzzy ontologies are envisioned to be useful in the Semantic Web. Existing fuzzy ontology reasoners are not scalable enough to handle the scale of data that the Web provides. In t...
137
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Guanxi is a type of dyadic social interaction based on feelings ("qing") and trust ("xin"). Long studied by scholars of Chinese origin, it has recently drawn t...
146
click to vote
CCGRID
2007
IEEE
16 years 27 days ago
2007
IEEE
This paper presents a method to optimize the timeout value of computing jobs. It relies on a model of the job execution time that considers the job management system latency throu...
126
click to vote
IROS
2007
IEEE
16 years 25 days ago
2007
IEEE
— In this paper we present algorithms that enable precise trajectory control of NIMS3D, an underconstrained, three-dimensional cabled robot intended for use in actuated sensing. ...
202
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
The ideal software contract fully specifies the behavior of an operation. Often, in particular in the context of scripting languages, a full specification may be cumbersome to s...