653 search results - page 57 / 131 » Implications of a Data Structure Consistency Checking System |
CORR
2006
Springer
14 years 12 months ago
2006
Springer
The well-known problem of state space explosion in model checking is even more critical when applying this technique to programming languages, mainly due to the presence of complex...
IJDST
2011
14 years 3 months ago
2011
The engineering of complex production automation systems involves experts from several backgrounds, such as mechanical, electrical, and software engineering. The production automa...
144
click to vote
JAISE
2010
14 years 6 months ago
2010
Studying human activities has significant implication in human beneficial applications such as personal healthcare. This research has been facilitated by the development of sensor ...
113
click to vote
AH
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. iFanzy is a personalized TV guide application aiming at offering users television content in a personalized and context-sensitive way. It consists of a client-server syst...
118
click to vote
BMCBI
2007
14 years 11 months ago
2007
Background: The simulation of metabolic networks in quantitative systems biology requires the assignment of enzymatic kinetic parameters. Experimentally determined values are ofte...