1301 search results - page 90 / 261 » Specifications via Realizability |
ESWS
2008
Springer
14 years 29 days ago
2008
Springer
UDDI registries are included as a standard offering within the product suite of any major SOA vendor, serving as the foundation for establishing design-time and run-time SOA govern...
AIMS
2007
Springer
14 years 5 months ago
2007
Springer
Policy conflict analysis processes based solely on the examination of policy language constructs can not readily discern the semantics associated with the managed system for which ...
ICALT
2008
IEEE
14 years 5 months ago
2008
IEEE
A novel educational environment for kids with autistic spectrum disorders (ASDs), namely NOESIS, is presented in this paper. NOESIS takes into account ASD kids’ individual chara...
ATVA
2006
Springer
14 years 2 months ago
2006
Springer
In this paper, we present and illustrate an approach to compositional reasoning for hardware/software co-verification of embedded systems. The major challenges in compositional rea...
ICCV
2007
IEEE
15 years 1 months ago
2007
IEEE
We present a new approach for the incorporation of shape information into a segmentation algorithm. Unlike previous approaches to the problem, our method requires no initializatio...