2588 search results - page 197 / 518 » Engineering Systems Which Generate Emergent Functionalities |
145
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
This paper presents a new method for extracting orthogonal bases from AM-FM signals. Since AM-FM signals are non-stationary, appropriate basis functions are sought provided that i...
150
Voted
VMCAI
2009
Springer
15 years 11 months ago
2009
Springer
A new approach based on constraint solving techniques was recently proposed for verification of hybrid systems. This approach works by searching for inductive invariants of a give...
136
click to vote
SERA
2009
Springer
15 years 11 months ago
2009
Springer
In the context of computer programming, the importance of computer assistance is being understood by many developer communities. Developers are e.g. using the same well known expre...
153
click to vote
WETICE
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper we introduce Social VPNs, a novel system architecture which leverages existing social networking infrastructures to enable ad-hoc VPNs which are self-configuring, s...
162
click to vote
ICSE
2007
IEEE-ACM
15 years 11 months ago
2007
IEEE-ACM
We present the tool TAXI which implements the XMLbased Partition Testing approach for the automated generation of XML Instances conforming to a given XML Schema. In addition it pr...