Sciweavers

6434 search results - page 298 / 1287
» Model Transformations with Reference Models
Sort
View
DATE
2010
IEEE
170views Hardware» more  DATE 2010»
15 years 11 months ago
Analytical model for TDDB-based performance degradation in combinational logic
With aggressive gate oxide scaling, latent defects in the gate oxide manifest as traps that, in time, lead to gate oxide breakdown. Progressive gate oxide breakdown, also referred...
Mihir Choudhury, Vikas Chandra, Kartik Mohanram, R...
HICSS
2002
IEEE
121views Biometrics» more  HICSS 2002»
15 years 11 months ago
Computational Model for Online Agent Negotiation
Agent-based on-line negotiation technology has the potential to radically change the way e-business is conducted. In this paper, we present a formal model for autonomous agents to...
Pu Huang, Katia P. Sycara
SP
1996
IEEE
140views Security Privacy» more  SP 1996»
15 years 10 months ago
A Security Model of Dynamic Labeling Providing a Tiered Approach to Verification
In the proposed mandatory access control model, arbitrary label changing policies can be expressed. The relatively simple model can capture a wide variety of security policies, in...
Simon N. Foley, Li Gong, Xiaolei Qian
ESAW
2006
Springer
15 years 10 months ago
Modelling and Executing Complex and Dynamic Business Processes by Reification of Agent Interactions
Interaction refers to an abstract and intangible concept. In modelling, intangible concepts can be embodied and made explicit. This allows to manipulate the abstractions and to bui...
Marco Stuit, Nick B. Szirbik
ACL
1998
15 years 8 months ago
Automatic Acquisition of Hierarchical Transduction Models for Machine Translation
We describe a method for the fully automatic learning of hierarchical finite state translation models. The input to the method is transcribed speech utterances and their correspon...
Hiyan Alshawi, Srinivas Bangalore, Shona Douglas