483 search results - page 90 / 97 » Reachability Analysis of Hybrid Systems Using Support Functi... |
WSC
2000
13 years 8 months ago
2000
Recent breakthroughs in communication and software engineering has resulted in significant growth of web-based computing. Web-based techniques have been employed for modeling, sim...
SIGMOD
2010
ACM
13 years 2 months ago
2010
ACM
Scalable analysis on large data sets has been core to the functions of a number of teams at Facebook - both engineering and nonengineering. Apart from ad hoc analysis of data and ...
SAC
2002
ACM
13 years 7 months ago
2002
ACM
Designing realistic multi-agent systems is a complex process, which involves specifying not only the functionality of individual agents, but also the authority relationships and l...
BMCBI
2002
13 years 7 months ago
2002
Background: Functional genomics involves the parallel experimentation with large sets of proteins. This requires management of large sets of open reading frames as a prerequisite ...
BIRTHDAY
2003
Springer
14 years 18 days ago
2003
Springer
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...