Sciweavers

1034 search results - page 187 / 207
» A UNITY-Based Framework Towards Component Based Systems
Sort
View
FMCO
2005
Springer
156views Formal Methods» more  FMCO 2005»
15 years 3 months ago
On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages
babilistic Chemical Abstract Machine and the Expressiveness of Linda Languages Alessandra Di Pierro1 , Chris Hankin2 , and Herbert Wiklicky2 1 Dipartimento di Informatica, Universi...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
46
Voted
HICSS
2002
IEEE
84views Biometrics» more  HICSS 2002»
15 years 2 months ago
A Review and Evaluation of Platforms and Tools for Building E-catalogs
The purpose of this paper is to give a comprehensive understanding of the role and importance of e-catalogs in today’s e-commerce strategies. The main contribution of our work i...
Nektarios P. Georgantis, Dimitrios A. Koutsomitrop...
CIKM
2011
Springer
13 years 9 months ago
S3K: seeking statement-supporting top-K witnesses
Traditional information retrieval techniques based on keyword search help to identify a ranked set of relevant documents, which often contains many documents in the top ranks that...
Steffen Metzger, Shady Elbassuoni, Katja Hose, Ral...
AOSD
2010
ACM
15 years 4 months ago
A theory of distributed aspects
Over the last five years, several systems have been proposed to take distribution into account in Aspect-Oriented Programming. While they appeared to be fruitful to develop or im...
Nicolas Tabareau
MEMOCODE
2006
IEEE
15 years 3 months ago
Specifying and proving properties of timed I/O automata in the TIOA toolkit
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...
Myla Archer, Hongping Lim, Nancy A. Lynch, Sayan M...