4880 search results - page 339 / 976 » Manuals as Structured Programs |
141
click to vote
AMW
2010
15 years 6 months ago
2010
A Data Warehouse (DW) is a data repository that integrates data from multiple sources and organizes the data according to a set of data structures called dimensions. Each dimension...
147
click to vote
CADE
2010
Springer
15 years 6 months ago
2010
Springer
Beluga is an environment for programming and reasoning about formal systems given by axioms and inference rules. It implements the logical framework LF for specifying and prototypi...
143
Voted
BIB
2008
15 years 5 months ago
2008
The accuracy and scalability of multiple sequence alignment (MSA) of DNAs and proteins have long been and are still important issues in bioinformatics. To rapidly construct a reas...
138
Voted
IJMMS
2008
15 years 5 months ago
2008
Mature eXtreme programming (XP) teams are highly collaborative and self-organising. In previous studies, we have observed that these teams rely on two apparently simple mechanisms...
169
click to vote
JOLLI
2008
15 years 5 months ago
2008
This paper adds temporal logic to public announcement logic (PAL) and dynamic epistemic logic (DEL). By adding a previous-time operator to PAL, we express in the language statemen...