3552 search results - page 569 / 711 » Proof theory in the abstract |
158
click to vote
CBMS
2007
IEEE
16 years 25 days ago
2007
IEEE
Clinical pathways translate evidence-based recommendations into locally practicable, process-specific algorithms that reduce practice variations and optimize quality of care. Our ...
175
click to vote
MEMOCODE
2007
IEEE
16 years 23 days ago
2007
IEEE
The always increasing complexity of digital system is overcome in design flows based on Transaction Level Modeling (TLM) by designing and verifying the system at difbstraction le...
187
click to vote
MODELS
2007
Springer
16 years 18 days ago
2007
Springer
To promote the Model-Based software engineering development of user interfaces, this paper proposes a model driven development approach of complex user interface. The approach cap...
146
click to vote
WILF
2007
Springer
16 years 17 days ago
2007
Springer
The standard approach to information entropy applied to partitions of a universe is equivalently formulated as the entropy of the corresponding crisp identity resolutions, interpre...
194
click to vote
DASC
2006
IEEE
16 years 16 days ago
2006
IEEE
Abstract— In stream authentication protocols used for largescale data dissemination in autonomuous systems, authentication is based on the timing of the publication of keys, and ...