628 search results - page 2 / 126 » Behavioral Types for Space-aware Systems |
IFIP
2004
Springer
13 years 11 months ago
2004
Springer
Abstract We propose an alternative notion of asymptotic behaviors for the study of type2 computational complexity. Since the classical asymptotic notion (for all but finitely many...
CDC
2010
IEEE
13 years 1 months ago
2010
IEEE
This paper studies dissipativity for a class of infinite-dimensional systems, called pseudorational, in the behavioral context. A basic equivalence condition for dissipativity is e...
ISOLA
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. Service-oriented systems have recently emerged as context-independent component-based systems. Unlike components, services can be created, invoked, composed, and destroye...
ICFP
2003
ACM
14 years 6 months ago
2003
ACM
We develop an explicit two level system that allows programmers to reason about the behavior of effectful programs. The first level is an ordinary ML-style type system, which conf...
UM
2010
Springer
13 years 4 months ago
2010
Springer
Recommender systems, as a type of Web personalized service to support users’ online product searching, have been widely developed in recent years but with primary emphasis on alg...