11722 search results - page 445 / 2345 » How Developers Develop Features |
196
Voted
ER
1998
Springer
15 years 11 months ago
1998
Springer
The development of Internet commercial applications and corporate Intranets around the world, which uses Java as the de facto standard language, is a significant topic in modern S...
210
click to vote
ICCAL
1992
15 years 11 months ago
1992
We describe the development and use of an online textbook for first-year calculus, the second edition of a book that first appeared in print. The principles on which the book is b...
215
Voted
CSE
2009
IEEE
15 years 11 months ago
2009
IEEE
While a variety of mechanisms have been developed for securing individual intra-domain protocols, none address the issue in a holistic manner. We develop a unified framework to sec...
200
click to vote
ITP
2010
15 years 11 months ago
2010
Abstract. This paper presents a new HOL4 formalization of the current ARM instruction set architecture, ARMv7. This is a modern RISC architecture with many advanced features. The f...
195
Voted
FASE
2004
Springer
15 years 11 months ago
2004
Springer
We present a formal operational semantics for Stateflow, the graphical Statecharts-like language of the Matlab/Simulink tool suite that is widely used in model-based development of...