Sciweavers

2135 search results - page 321 / 427
» Dimensions of Component Based Development
Sort
View
ANSS
2006
IEEE
15 years 8 months ago
iSimBioSys: A Discrete Event Simulation Platform for 'in silico' study of biological systems
With the availability of huge databases cataloguing the various molecular “parts” of complex biological systems, researchers from multiple disciplines have focused on developi...
Samik Ghosh, Preetam Ghosh, Kalyan Basu, Sajal K. ...
111
Voted
MEMOCODE
2006
IEEE
15 years 8 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...
107
Voted
TABLETOP
2006
IEEE
15 years 8 months ago
Supporting Mixed Presence Groupware in Tabletop Applications
In this paper we present the Transparent Input Device Layer framework to extend Java applications with support for multiple distributed input devices, a major requirement for tabl...
Peter Hutterer, Benjamin Close, Bruce H. Thomas
MOBICOM
2005
ACM
15 years 8 months ago
Experimental platform for mobile information systems
Interaction design is a major issue for mobile information systems in terms of not only the choice of input-output channels and presentation of information, but also the applicati...
Rudi Belotti, Corsin Decurtins, Moira C. Norrie, B...
SAC
2005
ACM
15 years 8 months ago
Pollock: automatic generation of virtual web services from web sites
As the usage of Web Services proliferates dramatically, new tools to help quickly generate web services are needed. In this paper, we propose a methodology that helps to automatic...
Yi-Hsuan Lu, Yoojin Hong, Jinesh Varia, Dongwon Le...