2702 search results - page 48 / 541 » Practically Applicable Formal Methods |
CORR
2011
Springer
14 years 1 months ago
2011
Springer
We study the attribution problem, that is, the problem of attributing a change in the value of a characteristic function f to its independent variables. We make three contributions...
ICFCA
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Among many other knowledge representations formalisms, Ontologies and Formal Concept Analysis (FCA) aim at modeling ‘concepts’. We discuss how these two formalisms ma...
WSC
2007
15 years 4 days ago
2007
Developments in simulation methodology have been so successful that simulation methods are used in many different domains, and many of these applications are based on discrete eve...
105
click to vote
CCR
2006
14 years 9 months ago
2006
The identification of network applications through observation of associated packet traffic flows is vital to the areas of network management and surveillance. Currently popular m...
TPHOL
2009
IEEE
15 years 4 months ago
2009
IEEE
Optical systems are becoming increasingly important as they tend to resolve many bottlenecks in the present age communications and electronics. Some common examples include their u...