1153 search results - page 55 / 231 » Compositional Specification Calculus for Information Systems... |
154
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: The most common substitution matrices currently used (BLOSUM and PAM) are based on protein sequences with average amino acid distributions, thus they do not represent ...
128
click to vote
CSCW
2006
ACM
15 years 9 months ago
2006
ACM
Media sharing over mobile devices is quickly becoming a common practice, used to support a variety of social processes. Most existing systems employ a model of sharing that treats...
131
click to vote
CLEF
2006
Springer
15 years 7 months ago
2006
Springer
In this paper we will describe Berkeley's approach to the Domain Specific (DS) track for CLEF 2006. This year we are not using the tools for thesaurus-based query expansion a...
152
click to vote
FECS
2010
15 years 1 months ago
2010
This paper describes the development of a system for teaching C/C++ using a LegoTM NXT in a CSI college course on introductory programming. The programming of the NXT robot has be...
146
Voted
SAC
2009
ACM
15 years 8 months ago
2009
ACM
Identification and specification of business requirements are extremely important when development of Enterprise Resource Planning systems (ERPs) take place. It can be stated that...