1636 search results - page 210 / 328 » InfoPad - An Experiment in System Level Design and Integrati... |
168
click to vote
EGC
2009
Springer
15 years 4 months ago
2009
Springer
Abstract Ontology alignment is an important task for information integration systems that can make different resources, described by various and heterogeneous ontologies, interoper...
169
click to vote
IJCNN
2008
IEEE
16 years 26 days ago
2008
IEEE
—Since machine learning has become a tool to make more efficient design of sophisticated systems, we present in this paper a novel methodology to create powerful neural network ...
210
click to vote
SCS
2003
15 years 7 months ago
2003
The development of safety critical systems is guided by standards. Many standards require the development of a safety case to demonstrate the acceptability of Safety Critical Syst...
160
click to vote
FM
2005
Springer
15 years 12 months ago
2005
Springer
The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first ve...
181
click to vote
ICWS
2008
IEEE
15 years 7 months ago
2008
IEEE
Service level agreements (SLAs) impose many nonfunctional requirements on services. Business analysts specify and check these requirements in business process models using tools s...