Sciweavers

2565 search results - page 265 / 513
» Integrating Natural Language Processing and Knowledge Based ...
Sort
View
COMPSAC
2003
IEEE
15 years 9 months ago
Just What Could Possibly Go Wrong In B2B Integration?
One important trend in enterprise-scale IT has been the increasing use of business-to-business integration (B2Bi) technologies to automate business processes that cross organisati...
Dean Kuo, Alan Fekete, Paul Greenfield, Julian Jan...
MBEES
2007
15 years 5 months ago
Towards Tool Support for Service-Oriented Development of Embedded Automotive Systems
: The development of embedded systems is a challenging task because of the distributed, reactive and real-time nature of such systems. Distribution of embedded components across bu...
Vina Ermagan, To-ju Huang, Ingolf H. Krüger, ...
VLSID
2002
IEEE
189views VLSI» more  VLSID 2002»
16 years 4 months ago
Automatic Modeling and Validation of Pipeline Specifications Driven by an Architecture Description Language
Verification is one of the most complex and expensive tasks in the current Systems-on-Chip (SOC) design process. Many existing approaches employ a bottom-up approach to pipeline v...
Prabhat Mishra, Hiroyuki Tomiyama, Ashok Halambi, ...
MODELS
2009
Springer
15 years 10 months ago
Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
Philippe Dhaussy, Pierre Yves Pillain, Stephen Cre...
CIVR
2004
Springer
169views Image Analysis» more  CIVR 2004»
15 years 9 months ago
The CIMWOS Multimedia Indexing System
We describe a multimedia, multilingual and multimodal research system (CIMWOS) supporting content-based indexing, archiving, retrieval and on-demand delivery of audiovisual content...
Harris Papageorgiou, Athanassios Protopapas