1750 search results - page 97 / 350 » E-Commerce Development Procedure |
115
click to vote
CHI
2007
ACM
16 years 4 months ago
2007
ACM
Traditionally, software engineering processes are based on a formalist model that emphasizes strict documentation, procedural and validation standards. Although this is a poor fit...
115
Voted
ICCAD
2004
IEEE
16 years 15 days ago
2004
IEEE
Microfluidics-based biochips offer a promising platform for massively parallel DNA analysis, automated drug discovery, and real-time biomolecular recognition. Current techniques f...
119
click to vote
IROS
2008
IEEE
15 years 10 months ago
2008
IEEE
—New actuators are greatly demanded today in order to develop magnetic resonance imaging (MRI)compatible mechatronic systems capable of extended and improved capabilities. They a...
122
click to vote
LICS
2008
IEEE
15 years 10 months ago
2008
IEEE
LF is a dependent type theory in which many other formal systems can be conveniently embedded. However, correct use of LF relies on nontrivial metatheoretic developments such as p...
124
Voted
CONTEXT
2007
Springer
15 years 9 months ago
2007
Springer
Contextual Graphs are a context-based formalism used in various real-world applications. They allow a uniform representation of elements of reasoning and of contexts for describing...