1423 search results - page 245 / 285 » Ordering in Mobile Networks Using Integrated Sequencers |
87
Voted
ICSE
2007
IEEE-ACM
16 years 2 months ago
2007
IEEE-ACM
Function precedence protocols define ordering relations among function calls in a program. In some instances, precedence protocols are well-understood (e.g., a call to pthread mut...
110
Voted
MODELS
2009
Springer
15 years 8 months ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
106
click to vote
SUM
2007
Springer
15 years 8 months ago
2007
Springer
In medical clinical trials, overall trial results are highlighted in the s of papers/reports. These results are summaries of underlying statistical analysis where most of the time ...
108
click to vote
CAEPIA
2003
Springer
15 years 7 months ago
2003
Springer
This paper proposes a diagnosis architecture that integrates consistency based diagnosis with induced time series classifiers, trying to combine the advantages of both methods. Co...
LWA
2007
15 years 3 months ago
2007
Proactive User Interfaces (PUIs) aim at facilitating the interaction with a user interface, e.g., by highlighting fields or adapting the interface. For that purpose, they need to...