Sciweavers

2527 search results - page 354 / 506
» Software development with imperfect information
Sort
View
ISCIS
2004
Springer
15 years 11 months ago
Correctness Requirements for Multiagent Commitment Protocols
Abstract. Commitments are a powerful abstraction for representing the interactions between agents. Commitments capture the content of the interactions declaratively and allow agent...
Pinar Yolum
LCPC
2004
Springer
15 years 11 months ago
Experiences in Using Cetus for Source-to-Source Transformations
Cetus is a compiler infrastructure for the source-to-source transformation of programs. Since its creation nearly three years ago, it has grown to over 12,000 lines of Java code, b...
Troy A. Johnson, Sang Ik Lee, Long Fei, Ayon Basum...
DEXAW
2003
IEEE
91views Database» more  DEXAW 2003»
15 years 11 months ago
Web Technology for Education and Training
The Internet has enabled a great amount of information to be readily available and easily accessible. It has promoted several changes in the world, including in the education area...
Sean W. M. Siqueira, Maria Helena Lima Baptista Br...
UML
2001
Springer
15 years 11 months ago
An Axiomatic Formalization of UML Models
: Though it is widely recognized that object-oriented methodologies are most effective in developing large scale software, it is still dif cult to apply high level computer support...
Toshiaki Aoki, Takaaki Tateishi, Takuya Katayama
ICMCS
2000
IEEE
98views Multimedia» more  ICMCS 2000»
15 years 11 months ago
Automatic Image Event Segmentation and Quality Screening for Albuming Applications
In this paper, a system for automatic albuming of consumer photographs is described, and its specific core components of event segmentation and screening of low quality images are...
Alexander C. Loui, Andreas E. Savakis