979 search results - page 148 / 196 » Presentations for Abstract Context Institutions |
ISMIS
1997
Springer
14 years 6 days ago
1997
Springer
e about image features can be expressed as a hierarchical structure called a Type Abstraction Hierarchy (TAH). TAHs can be generated automatically by clustering algorithms based on...
B
2007
Springer
14 years 1 days ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
DMSN
2007
ACM
13 years 12 months ago
2007
ACM
Many sensor network applications monitor continuous phenomena by sampling, and fit time-varying models that capture the phenomena's behaviors. We introduce Pulse, a framework...
FROCOS
2007
Springer
13 years 12 months ago
2007
Springer
Abstract. Nowadays, formal methods rely on tools of different kinds: proof assistants with which the user interacts to discover a proof step by step; and fully automated tools whic...
EDOC
2009
IEEE
13 years 12 months ago
2009
IEEE
Viewpoint modeling is an effective technique for specifying complex software systems in terms of a set of independent viewpoints and correspondences between them. Each viewpoint f...