1525 search results - page 226 / 305 » Formal Models for Communication-Based Design |
99
Voted
SIGSOFT
2008
ACM
16 years 1 months ago
2008
ACM
Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. This task is intrinsically difficult....
84
Voted
MODELS
2007
Springer
15 years 6 months ago
2007
Springer
Modeling systems based on semi-formal graphical formalisms, such as Statecharts, have become standard practice in the design of reactive embedded devices. Statecharts are often mor...
152
Voted
ECAI
2004
Springer
15 years 6 months ago
2004
Springer
The Hierarchical Hidden Markov Model (HHMM) is a well formalized tool suitable to model complex patterns in long temporal or spatial sequences. Even if effective algorithms are ava...
101
click to vote
PODS
2007
ACM
16 years 25 days ago
2007
ACM
Event processing systems have wide applications ranging from managing events from RFID readers to monitoring RSS feeds. Consequently, there exists much work on them in the literat...
152
click to vote
SDM
2012
SIAM
13 years 3 months ago
2012
SIAM
Multiple data sources containing different types of features may be available for a given task. For instance, users’ profiles can be used to build recommendation systems. In a...