1690 search results - page 84 / 338 » Algorithmic Properties of Millstream Systems |
130
click to vote
CIKM
2001
Springer
15 years 8 months ago
2001
Springer
Managing trust is a problem of particular importance in peer-to-peer environments where one frequently encounters unknown agents. Existing methods for trust management, that are b...
248
click to vote
NFM
2011
14 years 11 months ago
2011
Synthesis of finite-state machines from linear-time temporal logic (LTL) formulas is an important formal specification debugging technique for reactive systems and can quickly ge...
112
click to vote
SCAM
2008
IEEE
15 years 10 months ago
2008
IEEE
Programming embedded system software typically involves more than one programming language. Normally, a high-level language such as C/C++ is used for application oriented tasks an...
119
click to vote
APSEC
2005
IEEE
15 years 9 months ago
2005
IEEE
We present a new set of metrics for analyzing the interaction between the modules of a large software system. We believe that these metrics will be important to any automatic or s...
150
click to vote
DASFAA
2005
IEEE
15 years 9 months ago
2005
IEEE
Formal concept analysis has become an active field of study for data analysis and knowledge discovery. A formal concept C is determined by its extent (the set of objects that fall...