186 search results - page 31 / 38 » Compositional modeling and refinement for hierarchical hybri... |
105
click to vote
COMPSAC
2011
IEEE
13 years 11 months ago
2011
IEEE
— This paper discusses ongoing research into the development of an original composition portfolio themed on the concept of palimpsests of time and place. The research involves th...
FM
2006
Springer
15 years 3 months ago
2006
Springer
We propose a new look at one of the most fundamental types of behavioral interfaces: discrete time specifications of communication--directly related to the work of de Alfaro and H...
129
click to vote
ITIIS
2010
14 years 6 months ago
2010
Anonymous hierarchical identity based encryption (HIBE) is an extension of identity based encryption (IBE) that can use an arbitrary string like an e-mail address for a public key...
119
click to vote
APN
1992
Springer
15 years 3 months ago
1992
Springer
The use of different High-level Petri net formalisms has made it possible to create Petri net models of large systems. Even though the use of such models allows the modeller to cr...
130
Voted
SCP
1998
14 years 11 months ago
1998
A central challenge in computer science and knowledge representation is the integration of conceptual frameworks for continuous and discrete change, as exemplified by the theory ...