Sciweavers

2253 search results - page 80 / 451
» An Approach to Specifying Software Frameworks
Sort
View
128
Voted
WECWIS
2008
IEEE
120views ECommerce» more  WECWIS 2008»
15 years 10 months ago
The Human-Provided Services Framework
The collaboration landscape evolves rapidly by allowing people to participate in ad-hoc and process-centric collaborations. Thus, it is important to support humans in managing hig...
Daniel Schall, Hong Linh Truong, Schahram Dustdar
109
Voted
ERSA
2008
118views Hardware» more  ERSA 2008»
15 years 5 months ago
A Framework to Improve IP Portability on Reconfigurable Computers
- This paper presents a framework that improves the portability and ease-of-use issues of current Reconfigurable Computers (RCs). These two drawbacks should be solved in order for ...
Miaoqing Huang, Ivan Gonzalez, Sergio López...
TASE
2007
IEEE
15 years 9 months ago
Model Checking Software at Compile Time
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel ...
130
Voted
MONET
2010
170views more  MONET 2010»
15 years 1 months ago
A Framework for Engineering Pervasive Applications Applied to Intra-vehicular Sensor Network Applications
The vehicle sector is one of the most exciting application areas for wireless ad hoc networks and pervasive computing technologies. Vehicles are constantly being equipped with more...
Antonio Coronato, Giuseppe De Pietro, Jong Hyuk Pa...
150
Voted
ENTCS
2010
97views more  ENTCS 2010»
15 years 27 days ago
A Framework for Modelling and Simulating Networks of Cells
Several complex biological phenomena are to be modelled in terms of a large and dynamic network of compartments, where the interplay between inter-compartment and intra-compartmen...
Sara Montagna, Mirko Viroli