2514 search results - page 34 / 503 » The use of industrial-strength formal methods |
ZUM
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We describe a method for combining formal program development with a disciplined and documented way of introducing realistic compromises, for example necessitated by reso...
105
click to vote
IV
2003
IEEE
15 years 7 months ago
2003
IEEE
In this paper we present a “lightweight” visual formalism that can be used to examine the state space complexity of an interface. The method can form a basis for designing, te...
103
click to vote
CODES
2001
IEEE
15 years 5 months ago
2001
IEEE
Due to rapidly increasing system complexity, shortening time-tomarket, and growing demand for hard real-time systems, formal methods are becoming indispensable in the synthesis of...
154
click to vote
ASM
2010
ASM
15 years 2 months ago
2010
ASM
This paper presents Matelas, a B predicate calculus definition for social networking, modelling social-network content, privacy policies, social-networks friendship relations, and ...
144
Voted
TKDE
2012
13 years 4 months ago
2012
— Recommender systems are becoming increasingly important to individual users and businesses for providing personalized recommendations. However, while the majority of algorithms...