Sciweavers

3244 search results - page 435 / 649
» Extensions to Description Logics
Sort
View
ACSC
2004
IEEE
15 years 10 months ago
Towards the Completion of the Formal Semantics of OCL 2.0
The Object Constraint Language (OCL) is part of the Unified Modeling Language (UML) to specify restrictions on values of a given UML model. As part of the UML 2.0 standardization ...
Stephan Flake
DATE
2006
IEEE
128views Hardware» more  DATE 2006»
15 years 10 months ago
Platform-based design of wireless sensor networks for industrial applications
We present a methodology, an environment and supporting tools to map an application on a wireless sensor network (WSN). While the method is quite general, we use extensively an exa...
Alvise Bonivento, Luca P. Carloni, Alberto L. Sang...
ASPDAC
1995
ACM
79views Hardware» more  ASPDAC 1995»
15 years 10 months ago
Search space reduction in high level synthesis by use of an initial circuit
Most existing high-level synthesis(HLS) systems attempt to generate a circuit from a behavioral description \out of the void", using the entire design space as the search dom...
Atsushi Masuda, Hiroshi Imai, Jeffery P. Hansen, M...
BIRTHDAY
2008
Springer
15 years 8 months ago
From Domain to Requirements
This is a discursive paper. That is, it shows some formulas (but only as examples so that the reader may be convinced that there is, perhaps, some substance to our claims), no theo...
Dines Bjørner
ICWS
2007
IEEE
15 years 8 months ago
WS-CDL+: An Extended WS-CDL Execution Engine for Web Service Collaboration
Web services are becoming the prominent paradigm for distributing, computing, and electronic business, while there is an increasing surge to provide online Businessto-Business col...
Zuling Kang, Hongbing Wang, Patrick C. K. Hung