Sciweavers

1995 search results - page 203 / 399
» interfaces 2008
Sort
View
119
Voted
SCAM
2008
IEEE
15 years 11 months ago
Some Assembly Required - Program Analysis of Embedded System Code
Programming embedded system software typically involves more than one programming language. Normally, a high-level language such as C/C++ is used for application oriented tasks an...
Ansgar Fehnker, Ralf Huuck, Felix Rauch, Sean Seef...
SEMCO
2008
IEEE
15 years 11 months ago
TcruziKB: Enabling Complex Queries for Genomic Data Exploration
We developed a novel analytical environment to aid in the examination of the extensive amount of interconnected data available for genome projects. Our focus is to enable ity and ...
Pablo N. Mendes, Bobby McKnight, Amit P. Sheth, Je...
SEUS
2008
IEEE
15 years 11 months ago
Context-Aware Middleware for Reliable Multi-hop Multi-path Connectivity
The widespread diffusion of portable devices with multiple wireless interfaces, e.g., UMTS/GPRS, IEEE 802.11, and/or Bluetooth, is enabling multi-homing and multi-channel scenarios...
Paolo Bellavista, Antonio Corradi, Carlo Giannelli
138
Voted
SOSE
2008
IEEE
15 years 11 months ago
A Sustainable Service-Oriented B2C Framework for Small Businesses
Electronic commerce is fast expanding all over the world. Currently most B2C (Business to Customer) electronic commerce focuses on retailing and other online services, such as onl...
Xiaodong Liu, Hailiang Ye
TOOLS
2008
IEEE
15 years 11 months ago
Modeling of Component Environment in Presence of Callbacks and Autonomous Activities
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...
Pavel Parizek, Frantisek Plasil