4135 search results - page 280 / 827 » Application Modeling for the Semantic Web |
190
click to vote
IEEESCC
2005
IEEE
16 years 6 days ago
2005
IEEE
eal world”, represented abstractly using (time-varying) first-order logic predicates and terms. A representative composition result [11] here uses a translation into Petri nets. ...
168
click to vote
ICCS
2003
Springer
15 years 11 months ago
2003
Springer
Application portals, or Problem Solving Environments (PSEs), provide user environments that simplify access and integrate various distributed computational services for scientists ...
163
click to vote
HICSS
2005
IEEE
16 years 7 days ago
2005
IEEE
While several research projects have been proposed to use software agents to deal with information overload, their results are not applicable in the existing Web infrastructure ma...
170
click to vote
ICDCSW
2003
IEEE
15 years 12 months ago
2003
IEEE
— Current Web servers use various API sets to access backend services. This model does not support service differentiation, overload control, caching of contents generated by bac...
183
Voted
ESOP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this article, we present a model and a denotational semantics for hybrid systems. Our model is designed to be used for the verification of large, existing embedded app...