4286 search results - page 714 / 858 » Formalizing Service Interactions |
140
Voted
ICSE
1999
IEEE-ACM
15 years 8 months ago
1999
IEEE-ACM
Architecture Definition Languages (ADLs) enable the formalization of the architecture of software systems and the execution of preliminary analyses on them. These analyses aim at...
149
Voted
ICECCS
1998
IEEE
15 years 8 months ago
1998
IEEE
The main focus of this paper is the problem of ensuring timeliness in safety critical systems. First, we introduce a method and its associated technique to model both real-time ta...
126
Voted
SP
1998
IEEE
15 years 8 months ago
1998
IEEE
A strand is a sequence of events; it represents either the execution of legitimate party in a security protocol or else a sequence of actions by a penetrator. A strand space is a ...
133
Voted
ICSE
1998
IEEE-ACM
15 years 8 months ago
1998
IEEE-ACM
Form-based visual programming languages, which include commercial spreadsheets and various research systems, have had a substantial impact on end-user computing. Research shows, h...
118
click to vote
KDD
1998
ACM
15 years 8 months ago
1998
ACM
An important issue in data mining is the recognition of complex dependencies between attributes. Past techniques for identifying attribute dependence include correlation coefficie...