3256 search results - page 349 / 652 » Applications of Formal Methods to System Design and Verifica... |
179
click to vote
MKM
2007
Springer
16 years 24 days 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...
147
click to vote
CGI
2004
IEEE
15 years 10 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...
183
click to vote
APSEC
2006
IEEE
16 years 22 days 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...
189
click to vote
VLDB
1991
ACM
15 years 10 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...
186
click to vote
JMS
2010
15 years 5 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...