3256 search results - page 349 / 652 » Applications of Formal Methods to System Design and Verifica... |
202
click to vote
MKM
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We explore mathematical knowledge in the field of electrical engineering and claim that electrical engineering is a suitable area of application for mathematical knowled...
166
click to vote
CGI
2004
IEEE
15 years 11 months ago
2004
IEEE
This article presents a new method to achieve heterogeneous physical simulation, within the same global system, of both deformable and rigid-bodies objects, whatever their intrins...
209
Voted
APSEC
2006
IEEE
16 years 1 months ago
2006
IEEE
The technology of a home network system (HNS) allows integration of several kinds of home appliances to provide a user with value-added integrated services. Development of the int...
223
click to vote
VLDB
1991
ACM
15 years 11 months ago
1991
ACM
We propose a two-pha.se algorithm for physical database design. In phase one the algorithm, for each logical query, losesrules to determine characteristics of a physical design (s...
207
click to vote
JMS
2010
15 years 6 months ago
2010
Health Level Seven (HL7) organization published the Clinical Document Architecture (CDA) for exchanging documents among heterogeneous systems and improving medical quality based on...