3658 search results - page 136 / 732 » Founding properties on measurement |
IPPS
2006
IEEE
14 years 3 months ago
2006
IEEE
We show that timed automata can be used to model and to analyze timeliness properties of embedded system architectures. Using a case study inspired by industrial practice, we pres...
SPATIALCOGNITION
2004
Springer
14 years 2 months ago
2004
Springer
Two experiments are presented studying interrelations between spatial properties of environments and both experience and spatial behavior. In order to systematically study such int...
SCAM
2003
IEEE
14 years 2 months ago
2003
IEEE
Many static analyses aim at assigning to each control point of a program an invariant property that characterizes any state of a trace corresponding to this point. The choice of t...
FTDCS
2004
IEEE
14 years 27 days ago
2004
IEEE
Web services are essentially black box components from a composer's or a mediator's perspective. The behavioural description of any service can be asserted by the compos...
AGP
1998
IEEE
14 years 24 days ago
1998
IEEE
It is important that practical data flow analysers are backed bly proven theoretical results. Abstract interpretation provides a sound mathematical framework and necessary generic ...