334 search results - page 10 / 67 » Timed Property Sequence Chart |
IASTEDSE
2004
13 years 8 months ago
2004
The notion of service enjoys increasing popularity as a means for structuring complex distributed systems. Most definitions of the term service, however, refer only to syntactic l...
ACIIDS
2009
IEEE
14 years 15 days ago
2009
IEEE
— We consider the problem of processing exact results for sliding window joins over data streams with limited memory. Existing approaches deal with memory limitations by shedding...
PIMRC
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract— In a slot-synchronized wireless communication system, a set of signature sequences can be derived by circularly shifting a base sequence with good auto correlation prop...
ECTEL
2007
Springer
13 years 11 months ago
2007
Springer
When a curriculum is proposed, it is important to verify at least three aspects: that the curriculum allows the achievement of the user's learning goals, that the curriculum i...
CAV
2003
Springer
14 years 19 days ago
2003
Springer
Run-time monitoring of temporal properties and assertions is used for testing and as a component of execution-based model checking techniques. Traditional run-time monitoring howev...