2223 search results - page 335 / 445 » Events in Property Patterns |
137
click to vote
SIGSOFT
2006
ACM
16 years 4 months ago
2006
ACM
Models are increasingly recognized as an effective means for elaborating requirements and exploring designs. For complex systems, model building is far from an easy task. Efforts ...
126
Voted
SENSYS
2009
ACM
15 years 10 months ago
2009
ACM
We will demonstrate a wireless sensor network system for the surveillance of critical areas and properties – e.g. borders. The system consists of up to 10 sensor nodes that moni...
135
Voted
ICASSP
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper investigates a class of learning problems called learning satisfiability (LSAT) problems, where the goal is to learn a set in the input (feature) space that satisfies...
181
click to vote
ECRTS
2007
IEEE
15 years 10 months ago
2007
IEEE
Of late, there has been a considerable interest in models, algorithms and methodologies specifically targeted towards designing hardware and software for streaming applications. ...
120
click to vote
VLDB
2007
ACM
15 years 10 months ago
2007
ACM
The popularity of blogs has been increasing dramatically over the last couple of years. As topics evolve in the blogosphere, keywords align together and form the heart of various ...