Sciweavers

1557 search results - page 157 / 312
» Agent- Oriented Software Development: A Case Study
Sort
View
RTAS
2008
IEEE
15 years 4 months ago
Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...
Jianliang Yi, Honguk Woo, James C. Browne, Aloysiu...
JGS
2000
105views more  JGS 2000»
14 years 9 months ago
The GIS/SA interface for substantive research(ers): A critical need
This paper is concerned with the intersection of GIS and spatial analysis, its accessibility for scientists who may be less methodologically oriented than others, and its use in su...
Lawrence A. Brown
WOA
2000
14 years 11 months ago
Agent Architecture for Score-based Web Local Search
Big changes are taking place in the area of information supply and demand on Internet. The first big change, which took place quite a while ago, is related to the type of informat...
Michele Angelaccio, Berta Buttarazzi
ASWEC
2008
IEEE
15 years 1 hour ago
Refactoring Effect Estimation Based on Complexity Metrics
Refactoring is a set of operations to improve maintainability or understandability or other attributes of a software system without changing the external behavior of it, and it is...
Yoshiki Higo, Yoshihiro Matsumoto, Shinji Kusumoto...
FASE
2005
Springer
15 years 3 months ago
Improving the Build Architecture of Legacy C/C++ Software Systems
Abstract. The build architecture of legacy C/C++ software systems, groups program files in directories to represent logical components. The interfaces of these components are loos...
Homayoun Dayani-Fard, Yijun Yu, John Mylopoulos, P...