827 search results - page 51 / 166 » Patterns for Timed Property Specifications |
128
click to vote
MOBIHOC
2009
ACM
16 years 2 months ago
2009
ACM
The study in mobile ad-hoc networks (MANET) is facing challenges brought by recent discovery of non-exponential behavior of the inter-contact time distribution of mobile nodes. In...
153
click to vote
KDD
2004
ACM
16 years 2 months ago
2004
ACM
Many real life sequence databases, such as customer shopping sequences, medical treatment sequences, etc., grow incrementally. It is undesirable to mine sequential patterns from s...
144
click to vote
EWMF
2003
Springer
15 years 7 months ago
2003
Springer
Abstract With the ongoing shift from off-line to on-line business processes, the Web has become an important business platform, and for most companies it is crucial to have an on-...
103
click to vote
CAISE
1997
Springer
15 years 6 months ago
1997
Springer
OO-Method is an OO Methodology that blends the use of formal specification systems with conventional OO methodologies based on practice. In contrast to other approaches in this fi...
224
click to vote
ASUNAM
2011
IEEE
14 years 1 months ago
2011
IEEE
—Modern applications such as web knowledge base, network traffic monitoring and online social networks have made available an unprecedented amount of network data with rich type...