5439 search results - page 373 / 1088 » Patterns: from system design to software testing |
181
Voted
COMPSAC
2010
IEEE
15 years 4 months ago
2010
IEEE
We present a pattern-based method to express time specifications in the language TLA+ . A real-time module RealTimeNew is introduced to encapsulate the definitions of commonly used...
253
Voted
SIGMOD
2009
ACM
16 years 7 months ago
2009
ACM
Testing and debugging database system applications is often challenging and time consuming. A database tester (or DB tester for short) has to detect a problem, determine why it ha...
184
Voted
MBEC
2010
15 years 1 months ago
2010
Abstract Hydrocephalus is related to a disturbed cerebrospinal fluid (CSF) system. For diagnosis, lumbar infusion test are performed to estimate outflow conductance, Cout, and pres...
192
Voted
ICDM
2010
IEEE
15 years 4 months ago
2010
IEEE
A city offers thousands of social events a day, and it is difficult for dwellers to make choices. The combination of mobile phones and recommender systems can change the way one de...
174
Voted
CODES
2003
IEEE
16 years 5 days ago
2003
IEEE
Current methods cannot synthesize real-time embedded software applications when the global deadline of a task is shorter than the total of all local deadlines along a critical pat...