127 search results - page 13 / 26 » Towards Practical Enforcement Theories |
HICSS
2008
IEEE
14 years 4 months ago
2008
IEEE
Enterprise architecting is becoming critical for most modern organizations whose competitive strategies are tightly linked to the underlying information technology (IT) infrastruc...
ENTCS
2006
13 years 9 months ago
2006
The article introduces an extension of the well-known conformance relation ioco on labeled transition systems (LTS) with refused inputs and forbidden actions. This extension helps...
PG
1997
IEEE
14 years 1 months ago
1997
IEEE
We discuss the theory and practical issues behind creating reflection models to show the difficulty of the problem. We survey the current approaches towards reflection models for ...
CHI
2007
ACM
14 years 10 months ago
2007
ACM
The goals of this workshop are: (1) to bring together the community of researchers who are exploring innovative design theories and different design methodologies; (2) to evaluate...
MEMOCODE
2007
IEEE
14 years 4 months ago
2007
IEEE
The always increasing complexity of digital system is overcome in design flows based on Transaction Level Modeling (TLM) by designing and verifying the system at difbstraction le...