Sciweavers

1034 search results - page 187 / 207
» A UNITY-Based Framework Towards Component Based Systems
Sort
View
126
Voted
FMCO
2005
Springer
156views Formal Methods» more  FMCO 2005»
15 years 9 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...
92
Voted
HICSS
2002
IEEE
84views Biometrics» more  HICSS 2002»
15 years 8 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...
147
Voted
CIKM
2011
Springer
14 years 3 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...
163
Voted
AOSD
2010
ACM
15 years 10 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
119
Voted
MEMOCODE
2006
IEEE
15 years 9 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...