Sciweavers

912 search results - page 61 / 183
» Design Patterns: Abstraction and Reuse of Object-Oriented De...
Sort
View
FASE
2001
Springer
15 years 10 months ago
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models
Abstract. The Object Constraint Language OCL offers a formal notation for constraining the modelling elements occurring in UML diagrams. In this paper we apply OCL for developing ...
Bernhard Reus, Martin Wirsing, Rolf Hennicker
ICC
2007
IEEE
155views Communications» more  ICC 2007»
16 years 15 days ago
Design of a Medium Access Control Protocol for Dynamic Spectrum Access Networks
Abstract - In this paper we present a design of a medium access control protocol that allows the utilization of unused licensed spectrum of deployed wireless cellular systems (Prim...
Amitabh Mishra, Dharma P. Agrawal
ECOOP
2000
Springer
15 years 10 months ago
Design Templates for Collective Behavior
Abstract. While sequential behavior of single objects is fairly well understood, orchestrating the collective behavior emerging from the behaviors of individual objects continues t...
Pertti Kellomäki, Tommi Mikkonen
OWLED
2008
15 years 7 months ago
The OWL in the CASL - Designing Ontologies Across Logics
Abstract. In this paper, we show how the web ontology language OWL can be accommodated within the larger framework of the heterogeneous common algebraic specification language HETC...
Oliver Kutz, Dominik Lücke, Till Mossakowski,...
ACSD
2004
IEEE
124views Hardware» more  ACSD 2004»
15 years 10 months ago
A Behavioral Type Inference System for Compositional System-on-Chip Design
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc s...
Jean-Pierre Talpin, David Berner, Sandeep K. Shukl...