3106 search results - page 403 / 622 » Both Generic Design and Different Forms of Designing |
141
click to vote
SEW
2006
IEEE
16 years 19 days ago
2006
IEEE
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...
175
Voted
DASFAA
2005
IEEE
2005
IEEE
NNF: An Effective Approach in Medicine Paring Analysis of Traditional Chinese Medicine Prescriptions
16 years 7 days ago
Medicine Paring Analysis is one of the most important tasks in the research of Traditional Chinese Medicine Prescriptions. The most essential and difficult step is to mine associat...
178
click to vote
ICEBE
2005
IEEE
16 years 6 days ago
2005
IEEE
This paper presents a process modeling language known as the GridPML for the composition of Grid Services. The GridPML is an XML-based language that supports basic control flow co...
176
click to vote
ICPP
2005
IEEE
16 years 6 days ago
2005
IEEE
In wireless ad hoc networks, clustering is one of the most important approaches for many applications. A connected k-hop clustering network is formed by electing clusterheads in k...
145
click to vote
EXTREME
2004
ACM
16 years 1 days ago
2004
ACM
Overlap in markup occurs where some markup structures do not nest, such as where the sentence and phrase boundaries of a poem and the metrical line structure describe different hi...