Sciweavers

490 search results - page 70 / 98
» A structured operational semantics for UML-statecharts
Sort
View
IDEAS
2005
IEEE
142views Database» more  IDEAS 2005»
14 years 1 months ago
Automatically Maintaining Wrappers for Web Sources
A substantial subset of the web data follows some kind of underlying structure. Nevertheless, HTML does not contain any schema or semantic information about the data it represents...
Juan Raposo, Alberto Pan, Manuel Álvarez, J...
ICIP
2002
IEEE
14 years 14 days ago
Detection and segmentation of sweeps in color graphics images
Business graphics are an important class of digital imagery. Such images are computer-generated, and comprise synthetic elements such as solid fills, line art, and color sweeps. O...
Salil Prabhakar, Hui Cheng, Raja Bala, John C. Han...
ATVA
2009
Springer
97views Hardware» more  ATVA 2009»
13 years 8 months ago
Memory Usage Verification Using Hip/Sleek
Embedded systems often come with constrained memory footprints. It is therefore essential to ensure that software running on such platforms fulfils memory usage specifications at c...
Guanhua He, Shengchao Qin, Chenguang Luo, Wei-Ngan...
ATAL
2007
Springer
14 years 1 months ago
Practical extensions in agent programming languages
This paper proposes programming constructs to improve the practical application of existing BDI-based agent-oriented programming languages that have formal semantics. The proposed...
Mehdi Dastani, Dirk Hobo, John-Jules Ch. Meyer
EDOC
2003
IEEE
14 years 25 days ago
Model Transformation: A declarative, reusable patterns approach
The MOF Query, View and Transformation RFP, issued by OMG will result in a key enabling technology for modeldriven development of large distributed systems. We have designed a tra...
Keith Duddy, Anna Gerber, Michael Lawley, Kerry Ra...