Sciweavers

4469 search results - page 300 / 894
» A Language for Role Specifications
Sort
View
ADC
2004
Springer
106views Database» more  ADC 2004»
16 years 4 days ago
Customizing Internal Activity Behaviour for Flexible Process Enforcement
Workflow technology has met with success in a variety of industries, although several limitations have emerged. One such drawback is the inflexibility of specification languages, ...
Belinda M. Carter, Joe Y.-C. Lin, Maria E. Orlowsk...
123
Voted
EURODAC
1994
IEEE
127views VHDL» more  EURODAC 1994»
15 years 11 months ago
A process algebra interpretation of a verification oriented overlanguage of VHDL
The VOVHDL language was defined as a verification oriented VHDL
Catherine Bayol, Bernard Soulas, Dominique Borrion...
LPAR
2010
Springer
15 years 4 months ago
Graded Alternating-Time Temporal Logic
Abstract. Recently, graded modalities have been added to the semantics of two of the logics most commonly used by the computer science community:
Marco Faella, Margherita Napoli, Mimmo Parente
CEEMAS
2007
Springer
16 years 27 days ago
Commitment Monitoring in a Multiagent System
Abstract. Agent Communication Languages (ACLs) play a fundamental role in open multiagent systems where message exchange is the main if not the only way for agents to coordinate th...
Paola Spoletini, Mario Verdicchio
MSE
2003
IEEE
92views Hardware» more  MSE 2003»
15 years 12 months ago
On simulating the IP Market Dynamics in an Academic Environment Using SystemC
As SoC (System-on-a-chip) methodology emerges, IP (Intellectual Property) development and integration will play a major role in the hightech industry. To prepare for this future t...
Ghaiyyur Quraishi, Ravi Shankar