Sciweavers

150 search results - page 25 / 30
» A Method for Automatic Generation of OWL-S Service Ontology
Sort
View
APSEC
2009
IEEE
13 years 5 months ago
A Formal Framework to Integrate Timed Security Rules within a TEFSM-Based System Specification
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
Wissam Mallouli, Amel Mammar, Ana R. Cavalli
SBCCI
2004
ACM
127views VLSI» more  SBCCI 2004»
14 years 24 days ago
A formal software synthesis approach for embedded hard real-time systems
Software synthesis is defined as the task of translating a specification into a software program, in a general purpose language, in such a way that this software can be compiled...
Raimundo S. Barreto, Marília Neves, Meuse N...
CORR
2010
Springer
110views Education» more  CORR 2010»
13 years 7 months ago
Improving Term Extraction Using Particle Swarm Optimization Techniques
: Problem statement: Term extraction is one of the layers in the ontology development process which has the task to extract all the terms contained in the input document automatica...
Mohammad Syafrullah, Naomie Salim
KDD
2007
ACM
155views Data Mining» more  KDD 2007»
14 years 7 months ago
Mining templates from search result records of search engines
Metasearch engine, Comparison-shopping and Deep Web crawling applications need to extract search result records enwrapped in result pages returned from search engines in response ...
Hongkun Zhao, Weiyi Meng, Clement T. Yu
ICSOC
2004
Springer
14 years 22 days ago
Associating assertions with business processes and monitoring their execution
Business processes that span organizational borders describe the interaction between multiple parties working towards a common objective. They also express business rules that gov...
Alexander Lazovik, Marco Aiello, Mike P. Papazoglo...