4290 search results - page 67 / 858 » Formal Approaches to Teamwork |
170
click to vote
ESOP
2008
Springer
15 years 8 months ago
2008
Springer
In an optimistic approach to security, one can often simplify protocol design by relying on audit logs, which can be analyzed a posteriori. Such auditing is widely used in practice...
172
click to vote
JISE
2008
15 years 6 months ago
2008
business requirement in the real world cannot be abstracted correctly into an entity-relationship schema. Once core entities are discovered, we can obtain an Entity-Relationship Di...
177
click to vote
BTW
2009
Springer
16 years 29 days ago
2009
Springer
Abstract: Extract-transform-load (ETL) tools are primarily designed for data warehouse loading, i.e. to perform physical data integration. When the operational data sources happen ...
189
click to vote
ENTCS
2010
15 years 3 months ago
2010
The cost of implementing syntactically distinct Domain Specific Languages (DSLs) can be reduced by homogeneously embedding them in a host language in cooperation with its compiler...
147
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
The paper discusses a formal approach for specifying time-dependent Web applications and proposes a Markov model for reliability prediction. Measures for predicting reliability ar...