265 search results - page 22 / 53 » XHMBS: A Formal Model to Support Hypermedia Specification |
MEMOCODE
2010
IEEE
14 years 9 months ago
2010
IEEE
Monitoring temporal SystemC properties is crucial for the validation of functional and transaction-level models, yet the current SystemC standard provides no support for temporal s...
66
Voted
ICDM
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--Support analytics (i.e., statistical analysis, modeling and mining of customer/operations support tickets data) is important in service industries. In this paper, we adop...
120
click to vote
ICSE
1993
IEEE-ACM
15 years 3 months ago
1993
IEEE-ACM
We give examples of situations where formal specifications of procedures in the standard pre/postcondition style become lengthy, cumbersome and difficult to change, a problem whic...
CIA
2003
Springer
15 years 5 months ago
2003
Springer
Abstract For an information-agent-based system to support virtual (Internet-supported) organisations, changes in environmental conditions often demand changes in organisational beh...
101
click to vote
FM
2006
Springer
15 years 3 months ago
2006
Springer
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners adopt techniques that support partial behaviour...