1948 search results - page 226 / 390 » Formalizing Mirror Theory |
156
click to vote
ICFEM
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. In formal testing, the assumption of input enabling is typically made. This assumption requires all inputs to be enabled anytime. In addition, the useful concept of quies...
165
click to vote
CAISE
2004
Springer
16 years 11 hour ago
2004
Springer
Business process modeling and design, which has attracted much attention in recent years, emphasizes mainly graphical representation, usually without an underlying theory. The lack...
139
Voted
CCS
2004
ACM
16 years 10 hour ago
2004
ACM
WS-SecurityPolicy is a declarative configuration language for driving web services security mechanisms. We describe a formal sefor WS-SecurityPolicy, and propose a more abstract ...
192
click to vote
IPSN
2004
Springer
15 years 12 months ago
2004
Springer
Topology management schemes conserve energy in wireless ad hoc networks by identifying redundant nodes that may turn off their radios or other components while maintaining connec...
177
click to vote
SEKE
2004
Springer
15 years 12 months ago
2004
Springer
Feature modeling is a popular domain analysis method for describing the commonality and variability among the domain products. The current formalisms of feature modelling do not ha...