Sciweavers

1042 search results - page 66 / 209
» Can Aspects Implement Contracts
Sort
View
HICSS
2008
IEEE
97views Biometrics» more  HICSS 2008»
14 years 4 months ago
Temporal and Spatial Requirements for Optimized Fault Location
With technological advancements data availability in power systems is drastically increased. Intelligent electronic devices are capable of communicating recorded data. Data can be...
Mladen Kezunovic, Maja Knezev
ECAI
2004
Springer
14 years 3 months ago
Agent Planning, Negotiation and Control of Operation
Abstract. This paper presents a framework that integrates three aspects of agency: planning, for proactive behaviour, negotiation, for social behaviour and resource achievement, an...
Antonis C. Kakas, Paolo Torroni, Neophytos Demetri...
ICONIP
2004
13 years 11 months ago
Modeling Gene Regulatory Network in Fission Yeast Cell Cycle Using Hybrid Petri Nets
The complexity of gene regulatory network models stems from the fact that the models should be able to represent continuous, discrete as well as stochastic aspects of gene regulati...
Ranjith Vasireddy, Somenath Biswas
PLPV
2010
ACM
14 years 6 months ago
Modular reasoning about invariants over shared state with interposed data members
Reasoning about object-oriented programs is difficult since such programs usually involve aliasing, and it is not easy to identify the ways objects can relate to each other and t...
Stephanie Balzer, Thomas R. Gross
ESWS
2005
Springer
14 years 3 months ago
Towards an Ontology-Based Distributed Architecture for Paid Content
Business models on the basis of digital content require sophisticated descriptions of that content, as well as service-oriented carrier architectures that allow to negotiate and en...
Wernher Behrendt, Aldo Gangemi, Wolfgang Maass 000...