1750 search results - page 97 / 350 » E-Commerce Development Procedure |
156
click to vote
CHI
2007
ACM
16 years 6 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...
156
click to vote
ICCAD
2004
IEEE
16 years 3 months 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...
154
click to vote
IROS
2008
IEEE
16 years 20 days 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...
156
Voted
LICS
2008
IEEE
16 years 20 days 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...
158
click to vote
CONTEXT
2007
Springer
16 years 13 days 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...