Sciweavers

263 search results - page 44 / 53
» A BPMO Based Semantic Business Process Modelling Environment
Sort
View
BTW
2007
Springer
106views Database» more  BTW 2007»
15 years 4 months ago
Context-Based Data Tailoring for Mobile Users
: Independent, heterogeneous, distributed, sometimes transient and mobile data sources produce an enormous amount of information that should be semantically integrated and filtere...
Letizia Tanca
ASIACRYPT
2005
Springer
15 years 3 months ago
Identity-Based Hierarchical Strongly Key-Insulated Encryption and Its Application
In this paper, we discuss non-interactive updating of decryption keys in identity-based encryption (IBE). IBE is a public key cryptosystem where a public key is an arbitrary strin...
Yumiko Hanaoka, Goichiro Hanaoka, Junji Shikata, H...
CBMS
2002
IEEE
15 years 2 months ago
Content-Based and Metadata Retrieval in Medical Image Database
The need for systems that can stock, represent, and provide efficient retrieval facilities of images of particular interest is becoming very high in medicine. In this respect, a l...
Solomon Atnafu, Richard Chbeir, Lionel Brunie
CONCUR
2005
Springer
15 years 3 months ago
Deriving Weak Bisimulation Congruences from Reduction Systems
The focus of process calculi is interaction rather than computation, and for this very reason: (i) their operational semantics is conveniently expressed by labelled transition syst...
Roberto Bruni, Fabio Gadducci, Ugo Montanari, Pawe...
CDVE
2007
Springer
124views Visualization» more  CDVE 2007»
15 years 4 months ago
"Integrare", a Collaborative Environment for Behavior-Oriented Design
In order to build complex, large-scale, dependable systems it is necessary to use a development environment with an integrated set of capabilities that supports editing and formal...
Lian Wen, Robert Colvin, Kai Lin, John Seagrott, N...