Sciweavers

1185 search results - page 105 / 237
» Enhancement of Development Technologies for Agent-Based Soft...
Sort
View
CAV
2005
Springer
173views Hardware» more  CAV 2005»
15 years 9 months ago
Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, ...
COMPSAC
2009
IEEE
15 years 8 months ago
Middleware for RFID Systems: An Overview
RFID-Based Systems have started to play a significant role in the automation of many business processes such as ERP systems and object tracking. Several efforts were made within t...
Jameela Al-Jaroodi, Junaid Aziz, Nader Mohamed
SERA
2010
Springer
15 years 2 months ago
Service-Oriented Measurement Infrastructure
The importance of software measurement during the software development process is generally accepted, nowadays. Unfortunately, in practice common software measurement tools find s...
Hashem Yazbek, Reiner R. Dumke, Andreas Schmietend...
AICCSA
2006
IEEE
179views Hardware» more  AICCSA 2006»
15 years 10 months ago
Supporting the SPEM with a UML Extended Workflow Metamodel
The specification, analysis, and administration of business processes have charged great importance in this last time. This has been caused by a competitive industry necessity, dy...
Narayan C. Debnath, Daniel Riesco, Manuel Pé...
CISIS
2009
IEEE
15 years 10 months ago
Intelligent Context for Personalised M-Learning
Developments in higher education have driven interest in personalised education. Concomitant with these developments are the evolving capabilities of mobile technologies. Context ...
Philip Moore, Bin Hu, Mike Jackson, JiZheng Wan